王淑玲;詹乃军;张丽君 随机混合系统的组合建模和验证框架。 （英语） Zbl 1370.68220号 正式Asp。计算。 29，第4期，751-775（2017）.MSC公司：68问题85 60年第68季度 87年第68季度 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}等人，正式Asp。计算。29，编号4751-775（2017；兹bl 1370.68220） 全文： 内政部
陈明帅;安德斯·雷文（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） 全文： 内政部
杨璐;周朝晨;詹乃军;夏碧灿 通过计算机代数进行程序验证的最新进展。 （英语） Zbl 1267.68099号 前面。计算。科学。中国 4，第1期，1-16页（2010年）.MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Yang}等人，前面。计算。科学。中国4，No.1，1--16（2010；Zbl 1267.68099） 全文： 内政部
詹乃军 并发系统的逻辑和代数方法之间的联系。 （英语） Zbl 1213.68411号 数学。结构。计算。科学。 20，第5期，915-950（2010）.MSC公司：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}，数学。结构。计算。科学。20，第5号，915--950（2010；Zbl 1213.68411） 全文： 内政部
詹乃军;米拉·卡德巴姆少校 关于分层发展的反应系统。 （英语） Zbl 1197.93080号 Inf.计算。 208，第9期，997-1019（2010）.MSC公司：93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum}，Inf.Compute。208，第9号，997--1019（2010；Zbl 1197.93080） 全文： 内政部
徐启文;詹乃军 重新分析单调速率调度。 （英语） Zbl 1209.68072号 信息处理。莱特。 110，第6号，226-231（2010）.MSC公司：68平方米 PDF格式BibTeX公司 XML格式引用 \textit{Q.Xu}和\textit{N.Zhan}，Inf.过程。莱特。110、6号、226--231（2010；Zbl 1209.68072） 全文： 内政部
陈振邦;刘志明;安德斯·雷文（Anders P.Ravn）。;沃尔克·斯托尔茨;詹乃军 基于组件的模型驱动设计中的细化和验证。 （英语） Zbl 1178.68158号 科学。计算。程序。 74，第4期，168-196（2009）.MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Chen}等人，科学。计算。程序。74，第4号，168--196（2009；Zbl 1178.68158） 全文： 内政部
詹乃军 最后期限驱动调度器的直观形式证明。 （英语） Zbl 0986.68009号 J.计算。科学。Technol公司。 16，第2期，146-158（2001）.MSC公司：68平方米 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}，J.计算。科学。Technol公司。16，第2号，146--158（2001；Zbl 0986.68009） 全文： 内政部