罗德里克·布洛姆;费·戈尔施温;费比安·格雷夫;罗伯特·Könighfer;药丸,印戈;亨氏里纳;弗兰茨·罗克 根据时序逻辑规范综合自适应测试策略。 (英语) Zbl 1427.68160号 形式方法系统。设计。 55,编号2,103-135(2019).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。55,No.2,103--135(2019;Zbl 1427.68160) 全文: 内政部 arXiv公司
贝蒂娜·科尼霍费尔;穆罕默德·阿尔谢赫;罗德里克·布洛姆;劳拉·汉弗莱;罗伯特·Könighfer;乌富克托普库;王超 屏蔽合成。 (英语) Zbl 1386.68101号 形式方法系统。设计。 51,第2号,332-361(2017).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Könighofer}等人,Form.Methods Syst。设计。51,第2号,332--361(2017;Zbl 1386.68101) 全文: 内政部