戴维·戴哈贝 SMT-solver在B和Event-B开发环境中的集成。 (英语) Zbl 1264.68056号 科学。计算。程序。 78,第3期,310-326(2013)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Déharbe},科学。计算。程序。78,第3号,310-326(2013;Zbl 1264.68056) 全文: 内政部
爱尔兰,安德鲁;古德蒙德·格罗夫;Maria Teresa利亚诺;迈克尔·巴特勒 理性的建模评论家:将失败的证明转化为建模指导。 (英语) Zbl 1264.68058号 科学。计算。程序。 78,第3期,293-309(2013)。MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.爱尔兰}等人,科学。计算。程序。78,第3号,293--309(2013;Zbl 1264.68058) 全文: 内政部 链接
斯特凡·哈勒斯特德;Michael Leuschel先生;丹尼尔·普拉格 通过细化动画验证形式化模型。 (英语) Zbl 1264.68057号 科学。计算。程序。 78,第3272-292号(2013年)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Hallerstede}等人,科学。计算。程序。78,第3号,272--292(2013;Zbl 1264.68057) 全文: 内政部
马克·弗拉皮耶(编辑);格莱瑟,乌韦(编辑);萨尔夫拉兹·库希德(编辑);雷吉尼·拉劳(编辑);史蒂夫·里夫斯(编辑) 特刊:基于第二届抽象状态机、合金、B和Z(ABZ 2010)国际会议(2010年2月22日至25日,加拿大魁北克省奥尔福德市)上的演讲的最佳论文。 (英语) Zbl 1273.68032号 科学。计算。程序。78,第3期,270-342(2013)。 MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式