蒂亚戈·图西(Thiago M.Tuxi)。;Lilian K·卡瓦略。;爱德华多·V·L·努斯。;安东尼奥·库尼亚 使用LTL模型检查进行可诊断性验证。 (英语) Zbl 1500.93071号 离散事件动态。系统。 32,编号3,399-433(2022).MSC公司:93元65角 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Tuxi}等人,离散事件动力学。系统。32,第3号,399--433(2022;Zbl 1500.93071) 全文: 内政部
迪基·阿兹基亚;张一宁;亚历山德罗·阿巴特 VeriSIMPL 2型:用于验证max-plus-linear系统的开源软件。 (英语) Zbl 1332.93255号 离散事件动态。系统。 26,第1号,109-145(2016).MSC公司:93元65角 93-04 05C90年 PDF格式BibTeX公司 XML格式引用 \textit{D.Adzkiya}等人,离散事件动态。系统。26,编号109-145(2016年;兹bl 1332.93255) 全文: 内政部
朱莉娅·布拉曼(Julia M.B.Braman)。;Richard M.默里。 基于目标的控制系统的互模拟转换和验证程序。 (英语) Zbl 1213.93139号 形式方法系统。设计。 38,第1号,62-95(2011).MSC公司:93C85号 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{J.M.B.Braman}和\textit{R.M.Murray},形式方法系统。设计。38,编号1,62--95(2011;Zbl 1213.93139) 全文: 内政部