塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;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公司
沃尔夫冈·阿伦特;杰苏斯·莫里西奥·奇曼托;戈登·佩斯。;杰拉尔多·施奈德 结合静态和运行时验证验证面向数据和控制的属性:理论和工具。 (英语) Zbl 1370.68195号 形式方法系统。设计。 51,第1期,200-265(2017).MSC公司:60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}等人,《形式方法系统》。设计。51,No.1,200--265(2017;Zbl 1370.68195) 全文: 内政部
克里斯蒂安·科伦坡;戈登·佩斯。;帕特里克·阿贝拉 使用补偿实现更安全的异步运行时监控。 (英语) 兹比尔1284.68142 形式方法系统。设计。 41,第3期,269-294(2012).MSC公司:68甲19 68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Colombo}等人,《形式方法系统》。设计。41,第3号,269--294(2012;Zbl 1284.68142) 全文: 内政部