谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 (英语) Zbl 1511.68189号 正式Asp。计算。 33,第2期,207-249(2021).MSC公司:68问题85 68号30 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。33,第2号,207--249(2021;Zbl 1511.68189) 全文: 内政部
盛,冯;朱慧彪;何继峰;杨宗元;乔纳森·鲍文(Jonathan P.Bowen)。 基于UTP的MDESL指称语义的理论和实践方法。 (英语) Zbl 1458.68041号 正式Asp。计算。 32,编号2-3,275-314(2020).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Sheng}等人,正式Asp。计算。32,编号2--3,275--314(2020;Zbl 1458.68041) 全文: 内政部
谢万玲;向、双清;朱慧彪 rTiMo的UTP方法。 (英语) Zbl 1425.68304号 正式Asp。计算。 第6期第30期第713-738页(2018年).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人,正式Asp。计算。30,编号6,713--738(2018;Zbl 1425.68304) 全文: 内政部
朱,H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 (英语) Zbl 1347.68039号 正式Asp。计算。 27,第1期,133-166(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人,正式Asp。计算。27,第1号,133--166(2015;Zbl 1347.68039) 全文: 内政部 链接
理查德·巴纳赫;朱慧彪;苏文;黄润磊 连续/离散建模界面上的连续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) 全文: 内政部