张宇;董云伟;冯文龙;黄、孟兴 用于控制CPS软件程序的协同验证方法。 (中文。英文摘要) 兹比尔1389.68054 J.软件。 28,第5期,1144-1166(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人,J.Softw。28,第5号,1144--1166(2017;Zbl 1389.68054) 全文: 内政部
杜德辉;赞慧;蒋凯强;程,贝 CPS的自适应统计模型检验方法。 (中文。英文摘要) Zbl 1389.68050号 J.软件。 28,第5期,1128-1143(2017).MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Du}等人,J.Softw。28,第5号,1128--1143(2017;Zbl 1389.68050) 全文: 内政部
刘涛;王淑玲;詹乃军 多机器人轨迹规划的安全验证。 (中文。英文摘要) Zbl 1389.68139号 J.软件。 28,第5期,1118-1127(2017).MSC公司:68T40型 68吨15 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{T.Liu}等人,J.Softw。28,第5号,1118--1127(2017;Zbl 1389.68139) 全文: 内政部
刘、李;李国强 异步多进程时间自动机的可覆盖性问题。 (中文。英文摘要) Zbl 1389.68045号 J.软件。 28,第5期,1080-1090(2017).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}和\textit{G.Li},J.Softw。28,第5号,1080--1090(2017;Zbl 1389.68045) 全文: 内政部