伊恩·海耶斯。 广义相对保证并发:代数基础。 (英文) Zbl 1348.68035号 正式Asp。计算。 28,第6期,1057-1078(2016).MSC公司:68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Hayes},正式Asp。计算。28,第6号,1057--1078(2016;Zbl 1348.68035) 全文: 内政部 arXiv公司
Ryan Kirwan;爱丽丝·米勒;伯恩德·波尔 使用带有嵌入式C代码和抽象的Promela对学习代理系统进行模型检查。 (英文) Zbl 1348.68250号 正式Asp。计算。 28,第6期,1027-1056(2016).MSC公司:68T40型 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kirwan}等人,《正式Asp》。计算。28,第6号,1027--1056(2016;Zbl 1348.68250) 全文: 内政部
杰苏斯·阿兰塞;Jose Divasón Isabelle/HOL中矩阵梯队形式计算的形式化。 (英文) 兹比尔1348.68213 正式Asp。计算。 28,第6号,1005-1026(2016).MSC公司:68吨15 15A21号机组 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Aransay}和\textit{J.Divasón},正式Asp。计算。28,第6号,1005--1026(2016;Zbl 1348.68213) 全文: 内政部
马塞尔·奥利维拉。;安东尼诺,P。;R.拉莫斯。;A.桑帕约。;莫塔,A。;A.W.罗斯科。 使用组件元数据和模式严格开发基于组件的系统。 (英文) Zbl 1348.68167号 正式Asp。计算。 28,第6期,937-1004(2016).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.M.Oliveira}等人,正式Asp。计算。28,第6号,937--1004(2016;Zbl 1348.68167) 全文: 内政部 链接
Hoang,泰国儿子;史蒂夫·施耐德;海伦·特里哈恩;大卫·M·威廉姆斯。 在Event-B细化中使用线性时序逻辑的基础。 (英文) Zbl 1348.68039号 正式Asp。计算。 28,第6号,909-935(2016).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.S.Hoang}等人,正式Asp。计算。28,第6号,909--935(2016;Zbl 1348.68039) 全文: 内政部