米歇尔·多里加蒂
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2014 【c3】 罗伯托·卡瓦达 , 亚历山德罗·西马蒂 , 米歇尔·多里加蒂 , 阿尔贝托·格里乔 , 亚历山德罗·马里奥蒂 , 安德烈亚·米凯利 , 塞尔吉奥·Mover , 马可·罗维里 , 斯特凡诺·托内塔 :
nuXmv符号模型检查器。 CAV汽车 2014 : 334-342 【c2】 托马斯艺术 , 米歇尔·多里加蒂 , 斯特凡诺·托内塔 :
明确隐含安全要求-AUTOSAR安全案例。 SAFECOMP公司 2014 : 81-92 2013 【c1】 亚历山德罗·西马蒂 , 米歇尔·多里加蒂 , 斯特凡诺·托内塔 :
OCRA:一种用于检查临时合同细化情况的工具。 酶 2013 : 702-705
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)