塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;法尔科内,伊利斯;阿德里安·弗兰卡兰扎;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}等人,Form.Methods Syst。设计。54,第3号,279--335(2019;Zbl 1425.68268) 全文: 内政部 arXiv公司
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;Sr Djan Krstić;德米特里·特拉泰尔 几乎是事件-状态独立监测。 (英语) Zbl 1425.68249号 形式方法系统。设计。 54,第3期,449-478(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《形式方法系统》。设计。54,第3号,449--478(2019;Zbl 1425.68249) 全文: 内政部 链接
伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;马丁·塔普勒 概率黑盒可达性检查(扩展版本)。 (英语) Zbl 1425.68247号 形式方法系统。设计。 54,第3期,416-448(2019).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.K.Aichernig}和\textit{M.Tappler},《形式方法系统》。设计。54,第3号,416--448(2019;Zbl 1425.68247) 全文: 内政部
扎卡里·贝纳维德斯;凯瓦尔·沃拉;拉吉夫·古普塔;张湘玉 注释引导的上下文相关并行执行配置文件的集合。 (英语) Zbl 1425.68056号 形式方法系统。设计。 54,第3期,388-415(2019).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Benavides}等人,《形式方法系统》。设计。54,编号3,388--415(2019;Zbl 1425.68056) 全文: 内政部
苏斯米特·贾;阿什什·蒂瓦里;Sanjit A.Seshia。;沙海、图欣;Natarajan Shankar TeLEx:使用紧密度度量从正面示例学习信号时序逻辑。 (英语) 兹比尔1425.68349 形式方法系统。设计。 54,第3期,第364-387页(2019年).MSC公司:68T05型 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jha}等人,《形式方法系统》。设计。54,编号3,364--387(2019;Zbl 1425.68349) 全文: 内政部 链接
伯恩德·芬克贝纳;克里斯托弗·哈恩;马文·斯坦格;Leander Tentrup公司 监控超属性。 (英语) Zbl 1425.68254号 形式方法系统。设计。 54,第3号,336-363(2019).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人,《形式方法系统》。设计。54,第3号,336--363(2019;Zbl 1425.68254) 全文: 内政部 arXiv公司