埃齐奥·巴托奇;克里斯汀·马提斯;埃莉奥诺拉·内斯特里尼;德扬·尼科维奇 挖掘信号时序逻辑规范综述。 (英语) Zbl 07629148号 Inf.计算。 289,A部分,文章ID 104957,21 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人,信息计算。289,A部分,文章ID 104957,21 p.(2022;Zbl 07629148) 全文: 内政部
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托奇;多梅尼科·比安库里;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 高级应用程序领域(软件以外)对运行时验证的挑战调查。 (英语) Zbl 1425.68268号 形式方法系统。设计。 54,第3号,279-335(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,《形式方法系统》。设计。54,第3号,279--335(2019;Zbl 1425.68268) 全文: 内政部 arXiv公司