洪伟江;M.Saqib，纳瓦兹;张西岳;李毅;孙孟 使用Coq对定时连接器进行形式化建模和验证。 （英语） Zbl 1461.68056号 Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。2017年SEFM并置研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 558-573 (2018).MSC公司：68号30 第68季度第60季度 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{W.Hong}等人，Lect。注释计算。科学。10729558--573（2018年；Zbl 1461.68056） 全文： 内政部
孙孟;张西岳 基于定时数据分布流的概率连接器关系模型。 （英语） Zbl 1514.68184号 Jansen，David N.（编辑）等人，《时间系统的形式化建模和分析》。第16届国际会议，FORMATS 2018，中国北京，2018年9月4日至6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11022, 125-141 (2018).MSC公司：68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Sun｝和\textit｛X.Zhang｝，Lect。注释计算。科学。11022、125--141（2018；Zbl 1514.68184） 全文： 内政部