林玉辉;阿兰·邦迪;古德蒙德·格罗夫;埃文·麦克林 通过涟漪和校样修补实现Event-B不变校样的自动化。 (英语) Zbl 1425.68077号 正式Asp。计算。 31,第1号,95-129(2019).MSC公司:68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Lin}等人,《正式Asp》。计算。31,第1号,95-129(2019;Zbl 1425.68077) 全文: 内政部
马可·波扎诺;亚历山德罗·西马蒂;克里斯蒂安·马塔雷 冗余架构的正式可靠性分析。 (英语) Zbl 1425.68039号 正式Asp。计算。 31,第1号,59-94(2019).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,正式Asp。计算。31,第1号,59-94(2019;Zbl 1425.68039) 全文: 内政部
董晓菊;伏玉溪;丹尼尔·瓦拉卡 扩展Petri网。 (英语) Zbl 1425.68292号 正式Asp。计算。 31,第1号,47-58(2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Dong}等人,正式Asp。计算。31,第1号,47-58(2019年;Zbl 1425.68292) 全文: 内政部
安德烈·米泽拉;庞、军;袁,栖霞 GPU加速了大型概率布尔网络的稳态计算。 (英语) Zbl 1425.68121号 正式Asp。计算。 31,第1期,第27-46页(2019年).MSC公司:2010年第68季度 87年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Mizera}等人,正式Asp。计算。31,第1号,27-46(2019年;Zbl 1425.68121) 全文: 内政部 链接
英明生 朝向量子程序的自动验证。 (英语) Zbl 1425.68271号 正式Asp。计算。 31,第1号,3-25(2019).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},正式Asp。计算。31,第1号,第3--25号(2019年;Zbl 1425.68271) 全文: 内政部 arXiv公司
马丁·范策尔(编辑);迪帕克·卡普尔(编辑);海克·卫尔海姆(编辑);詹乃军(编辑) 编辑。 (英语) Zbl 1425.68010号 正式Asp。计算。 31,第1、1号(2019年).MSC公司:68-06 68牛顿 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}(编辑)等,《形式语法》。计算。31,第1、1号(2019年;Zbl 1425.68010) 全文: 内政部