玛丽亚·德尔马·加拉多;马丁内斯,耶苏斯;佩德罗·梅里诺;巴勃罗·努涅斯;埃内斯托·皮门特尔 PiXL:应用XML标准支持协议分析工具的集成。 (英语) Zbl 1109.68013号 科学。计算。程序。 65,第1号,57-69(2007).MSC公司:68个M12 68单位35 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.del Mar Gallardo}等人,科学。计算。程序。65,编号1,57--69(2007;Zbl 1109.68013) 全文: 内政部
Akhlaki,K.班加西;M.I.Capel Tuñón;J.A.Holgado Terriza;莫拉莱斯,L.E.门多萨 通过UML-RT设计模型的转换实现实时系统形式化规范的方法论方法。 (英语) Zbl 1109.68061号 科学。计算。程序。 65,第1期,41-56(2007).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.B.Akhlaki}等人,科学。计算。程序。65,编号1,41-56(2007;Zbl 1109.68061) 全文: 内政部
杨,W.L。;Leung,K.R.P.H。;王,季;董伟 通过状态图和CSP对可挂起的业务流程进行建模和模型检查。 (英语) Zbl 1109.68071号 科学。计算。程序。 65,第1期,14-29(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{W.L.Yeung}等人,科学。计算。程序。65,第1号,14-29(2007年;Zbl 1109.68071) 全文: 内政部