斯特凡·米奇;安德烈·普拉泽 ModelPlex:验证的网络物理系统模型的验证运行时验证。 (英语) Zbl 1380.68282号 形式方法系统。设计。 49,编号1-2,33-74(2016).MSC公司:60年第68季度 03B70号 93立方 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mitsch}和\textit{A.Platzer},《形式方法系统》。设计。49,编号1--2,33-74(2016;Zbl 1380.68282) 全文: 内政部
伊娃·M·纳瓦罗·洛佩斯。;卡特、丽贝卡 混合动力系统中的死性和如何反驳活性。 (英语) Zbl 1345.68215号 西奥。计算。科学。 642, 1-23 (2016).MSC公司:65年第68季度 60年第68季度 93立方 93D05型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Navarro-López}和\textit{R.Carter},Theor。计算。科学。642,1--23(2016;Zbl 1345.68215) 全文: 内政部
辛齐亚·伯纳德斯基;安德烈亚·多梅尼奇 通过原型验证系统的交互式定理证明,验证非线性控制的安全特性。 (英语) Zbl 1356.68177号 信息处理。莱特。 116,第6号,409-415(2016).MSC公司:68吨15 60年第68季度 93立方厘米 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Bernardeschi}和\textit{A.Domenici},Inf.过程。莱特。116,第6号,409--415(2016;Zbl 1356.68177) 全文: 内政部 链接