×
作者ID: 蒙赫·克劳迪奥“Menghi,Claudio”最近发表的zbMATH文章
发布日期: 克劳迪奥·蒙吉
编入索引的文档: 9出版物自2016年起
合著者: 13合著者具有9联合出版物
249名Co-Co作者

按年份列出的出版物

zbMATH Open中包含的引文

6出版物有被引用26中的次8文件 引用人 年份
从模型检查到部分模型的时间证明。 Zbl 1420.68118号
安娜·伯纳斯科尼克劳迪奥·蒙吉鲍拉·斯波莱蒂尼Lenore D.扎克。卡洛·盖齐
8
2017
不确定性下的多机器人LTL规划。 Zbl 1460.68119号
克劳迪奥·蒙吉塞尔吉奥·加西亚帕特里齐奥·佩利奇奥内贾纳·图莫娃
6
2018
基于自动机的模型检测中的不完整性处理。 兹比尔1427.68170
克劳迪奥·蒙吉鲍拉·斯波莱蒂尼卡洛·盖齐
5
2016
支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号
克劳迪奥·蒙吉鲍拉·斯波莱蒂尼玛莎·契契克卡洛·盖齐
4
2018
用于控制器迭代设计的验证驱动框架。 Zbl 1425.68262号
克劳迪奥·蒙吉鲍拉·斯波莱蒂尼玛莎·契契克卡洛·盖齐
2
2019
将拓扑证明与模型检查集成到仪器迭代设计中。 Zbl 1507.68195号
克劳迪奥·蒙吉亚历山德罗·玛丽亚·里齐安娜·伯纳斯科尼
1
2020
将拓扑证明与模型检查集成到仪器迭代设计中。 Zbl 1507.68195号
克劳迪奥·蒙吉亚历山德罗·玛丽亚·里齐安娜·伯纳斯科尼
1
2020
用于控制器迭代设计的验证驱动框架。 Zbl 1425.68262号
克劳迪奥·蒙吉鲍拉·斯波莱蒂尼玛莎·契契克卡洛·盖齐
2
2019
不确定性下的多机器人LTL规划。 Zbl 1460.68119号
克劳迪奥·蒙吉塞尔吉奥·加西亚帕特里齐奥·佩利奇奥内贾纳·图莫娃
6
2018
支持验证驱动的组件增量分布式设计。 Zbl 1425.68261号
克劳迪奥·蒙吉鲍拉·斯波莱蒂尼玛莎·契契克卡洛·盖齐
4
2018
从模型检查到部分模型的时间证明。 兹比尔1420.68118
安娜·伯纳斯科尼克劳迪奥·蒙吉鲍拉·斯波莱蒂尼Lenore D.扎克。卡洛·盖齐
8
2017
基于自动机的模型检测中的不完整性处理。 Zbl 1427.68170号
克劳迪奥·蒙吉鲍拉·斯波莱蒂尼卡洛·盖齐
5
2016

按年份列出的引文