蒂亚戈·图西(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) 全文: 内政部
卡米利、马蒂奥;洛伦佐·卡普拉 使用对称网对分散自适应系统进行形式化描述和验证。 (英语) Zbl 1480.93259号 离散事件动态。系统。 31,第4号,609-657(2021).MSC公司:93立方65 93甲14 93C40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Camilli}和\textit{L.Capra},离散事件动态。系统。31,编号4,609--657(2021;Zbl 1480.93259) 全文: 内政部
Saddem-yagoubi,环;奥利维尔·诺德;凯伦·戈达里·德杰恩;迪迪埃·克雷斯塔尼 精准农业物流的模型检验:差异收获案例。 (英语) Zbl 1456.91067号 离散事件动态。系统。 30,第4号,579-604(2020).MSC公司:91B76号 93亿B50 90B20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Saddem-yagoubi}等人,离散事件动力学。系统。30,第4号,579--604(2020;Zbl 1456.91067) 全文: 内政部
布莱克·罗林斯。;B.埃里克·伊德斯蒂 混合控制系统中组合不变性和可达性规范的伪造。 (英语) Zbl 1379.93003号 离散事件动态。系统。 27,第2期,463-479(2017).MSC公司:93甲13 93立方 93个B03 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.C.Rawlings}和\textit{B.E.Ydstie},离散事件动态。系统。27,第2号,463--479(2017;Zbl 1379.93003) 全文: 内政部
迪基·阿兹基亚;张以宁;亚历山德罗·阿巴特 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}等人,离散事件Dyn。系统。26,第1号,109--145(2016;Zbl 1332.93255) 全文: 内政部