马丁·格罗·罗德 使用转换系统对正式软件规范进行组合比较。 (英语) Zbl 1063.68605号 正式Asp。计算。 13,第2期,161-186(2002).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode},正式Asp。计算。13,第2号,161--186(2002;Zbl 1063.68605) 全文: 内政部
布伦丹·马奥尼;董金松 TCSP和Object-Z的深层语义联系:TCOZ方法。 (英语) Zbl 1063.68603号 正式Asp。计算。 第2期第13页,142-160页(2002年).MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{B.Mahony}和\textit{J.S.Dong},正式Asp。计算。13,第2号,142--160(2002;Zbl 1063.68603) 全文: 内政部
格雷姆·史密斯;伊恩·海耶斯 Real-Time Object-Z简介。 (英语) Zbl 1066.68080号 正式Asp。计算。 13,第2期,128-141(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{I.Hayes},正式Asp。计算。13,第2号,128--141(2002;Zbl 1066.68080) 全文: 内政部
约翰·德里克;埃尔克·博伊滕 结合Object-Z和CSP中的组件规范。 (英语) Zbl 1073.68676号 正式Asp。计算。 13,第2期,111-127(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},正式Asp。计算。13,No.2,111--127(2002;Zbl 1073.68676) 全文: 内政部
卡斯滕·苏尔 RT-Z集成形式的概述。 (英语) Zbl 0996.68111号 正式Asp。计算。 13,第2期,94-110(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sühl},正式Asp。计算。13,第2号,94--110(2002;Zbl 0996.68111) 全文: 内政部