塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序域(软件以外)的运行时验证挑战调查。 (英语) 兹比尔1425.68268 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279-335(2019年;兹bl 1425.68268) 全文: 内政部 arXiv公司
斯特凡·雅克西奇;埃齐奥·巴托西;拉杜·格罗苏;阮,Thang;德扬·尼契科维奇 利用编辑距离定量监测STL。 (英语) 兹比尔1394.68230 形式方法系统。设计。 53,编号1,83-112(2018).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人,《形式方法系统》。设计。53,第1号,83-112(2018;Zbl 1394.68230) 全文: 内政部
Kevin D.琼斯。;维克托·康拉德;德扬·尼契科维奇 模拟属性检查器:DDR2案例研究。 (英语) Zbl 1207.68208号 形式方法系统。设计。 36,第2期,114-130(2010).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.D.Jones}等人,《形式方法系统》。设计。36,第2号,114--130(2010;Zbl 1207.68208) 全文: 内政部 链接