陈明帅;安德斯·雷文(Anders P.Ravn)。;王淑玲;杨梦飞;詹乃军 嵌入式系统正式和非正式设计之间的双向路径。 (英语) Zbl 1483.68074号 Bowen,Jonathan P.(编辑)等人,《统一编程理论》。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10134, 65-92 (2017).MSC公司:68号30 60年第68季度 93-10 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Chen}等人,Lect。注释计算。科学。10134,65-92(2017;Zbl 1483.68074) 全文: 内政部 链接
詹乃军;王淑玲;赵恒军 混合系统的形式化建模、分析和验证。 (英语) Zbl 1444.68105号 刘志明(主编)等,《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8050, 207-281 (2013).MSC公司:60年第68季度 03B70号 68伏15 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}等人,Lect。注释计算。科学。8050207--281(2013;Zbl 1444.68105) 全文: 内政部