谢·贝尔科维奇;博佐博纳克达普尔;塞巴斯蒂安·费奇迈斯特 通过并行将入侵降至最低的运行时验证。 (英语) Zbl 1323.68363号 形式方法系统。设计。 46,第3期,317-348(2015).MSC公司:60年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{S.Berkovich}等人,《形式方法系统》。设计。46,第3号,317--348(2015;Zbl 1323.68363) 全文: 内政部
安德烈亚斯·鲍尔;简·克里斯托夫,Küster;Gil Vegliach公司 一阶运行时验证的输入和输出。 (英语) Zbl 1341.68116号 形式方法系统。设计。 46,第3期,286-316(2015).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人,《形式方法系统》。设计。46,第3号,286--316(2015;Zbl 1341.68116) 全文: 内政部
戴维·巴恩斯;费利克斯·克莱特克;斯尔詹·马里诺维奇;尤根·兹利内斯库 使用聚合监控时间一阶属性。 (英语) Zbl 1323.68362号 形式方法系统。设计。 46,第3期,262-285(2015).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Basin}等人,《形式方法系统》。设计。46,第3号,262--285(2015;Zbl 1323.68362) 全文: 内政部 链接
阿德里安·弗兰卡兰扎;塞舌尔,奥尔德林 合成正确的并发运行时监控器。 (英语) Zbl 1323.68373号 形式方法系统。设计。 46,第3期,226-261(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza}和\textit{A.Seychell},《形式方法系统》。设计。46,第3号,226--261(2015;Zbl 1323.68373) 全文: 内政部 链接
罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田、Nobuko 实用的可中断对话:使用多方会话类型和Python进行分布式动态验证。 (英语) Zbl 1341.68118号 形式方法系统。设计。 46,第3期,197-225(2015).MSC公司:60年第68季度 68甲15 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Demangeon}等人,《形式方法系统》。设计。46,第3号,197--225(2015;Zbl 1341.68118) 全文: 内政部