斯特吕贝尔,D。;J.鲁宾。;阿伦特,T。;M.契契克。;泰特泽,G。;Pöger,J。 基于变量的模型转换:形式基础和应用。 (英语) Zbl 1380.68133号 正式Asp。计算。 30,第1期,133-162(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Strüber}等人,正式Asp。计算。30,第1号,133--162(2018;Zbl 1380.68133) 全文: 内政部
莱切内特,Jean-Christophe;尼古拉·科马托夫;帕斯卡尔·勒加尔 在寻找错误之前剪下树枝:在放松的切片上进行可靠的验证。 (英语) Zbl 1380.68127号 正式Asp。计算。 30,编号107-131(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Léchenet}等人,《正式Asp》。计算。30,第1号,107--131(2018;Zbl 1380.68127) 全文: 内政部
马库斯·格霍尔德;玛丽·斯托琳加 概率系统的基于模型的测试。 (英语) Zbl 1380.68303号 正式Asp。计算。 30,第1期,77-106(2018).MSC公司:第68季度87 68米15 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gerhold}和\textit{M.Stoelinga},正式Asp。计算。30,第1号,77--106(2018;Zbl 1380.68303) 全文: 内政部
德普特、桑德;安东·威伊斯 行为模型到模型转换的形式化验证技术。 (英语) Zbl 1380.68286号 正式Asp。计算。 30,第1期,第3-43期(2018年).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.de Putter}和\textit{A.Wijs},正式Asp。计算。30,编号1,3--43(2018;兹bl 1380.68286) 全文: 内政部
丹尼·埃文(编辑);佩迪塔·史蒂文斯(编辑);安德烈·索夫斯基(编辑) 编辑。 (英语) Zbl 1380.68008号 正式Asp。计算。 30,第1、1号(2018).MSC公司:68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Denney}(编辑)等,《正式评论》。计算。30,第1、1号(2018;Zbl 1380.68008) 全文: 内政部