约翰·德里克;埃尔克·博伊滕 关系并发优化。三: 痕迹、部分关系和自动机。 (英语) Zbl 1342.68227号 正式Asp。计算。 26,第2期,407-432(2014).MSC公司:68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten},正式Asp。计算。26,第2号,407--432(2014;Zbl 1342.68227) 全文: 内政部
理查德·巴纳赫;朱慧彪;苏、文;黄润磊 连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计:简单的列车停车应用程序。 (英语) Zbl 1342.93065号 正式Asp。计算。 26,第2期,319-366(2014).MSC公司:93立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人,《形式Asp》。计算。26,第2号,319--366(2014;Zbl 1342.93065) 全文: 内政部
Eerke A.Boiten。 在细化中引入额外的操作。 (英语) Zbl 1342.68204号 正式Asp。计算。 26,第2号,305-317(2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Boiten},正式Asp。计算。26,第2号,305-317(2014;Zbl 1342.68204) 全文: 内政部 链接
博斯特罗姆,蓬图斯;弗雷德里克·德格伦德;塞雷,凯萨;瓦尔登,玛丽娜 通过Event-B模型的逐步调度导出并发程序。 (英语) Zbl 1342.68056号 正式Asp。计算。 26,第2期,281-303(2014).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Boström}等人,正式Asp。计算。26,第2281-303号(2014年;兹bl 1342.68056) 全文: 内政部
史蒂夫·施耐德;海伦·特里哈恩;海克·卫尔海姆 Event-B精化的行为语义。 (英语) Zbl 1342.68211号 正式Asp。计算。 26,第2期,251-280(2014).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人,正式Asp。计算。26,第2号,251--280(2014;Zbl 1342.68211) 全文: 内政部 链接
路易吉亚·皮特;特劳比特琳娜;瓦尔登,玛丽娜 凯萨·塞雷:纪念。 (英语) Zbl 1342.01036号 正式Asp。计算。 26,第2期,197-201(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.Petre}等人,正式Asp。计算。26,第2号,197--201(2014;Zbl 1342.01036) 全文: 内政部