安德烈·查尔兹夫
人员信息
优化列表
会议和研讨会文件
2012 【c4】 亚历山德罗·西马蒂 , 拉斐尔·科尔维诺 , 阿曼多·拉扎罗 , 伊曼·纳拉萨姆迪亚 , 蒂齐亚娜·里佐 , 马可·罗维里 , 安吉拉·桑塞韦罗 , 安德烈·查尔兹夫 :
ERTMS工业铁路列车间隔系统的正式验证和确认。 CAV汽车 2012 : 378-393 2011 【c3】 马可·波扎诺 , 亚历山德罗·西马蒂 , 马可·罗维里 , 安德烈·查尔兹夫 :
车载自主验证和确认的综合方法。 国际JCAI 2011 : 2398-2403 2008 【c2】 亚历山德罗·西马蒂 , 马可·罗维里 , 维克多·舒潘 , 安德烈·查尔兹夫 :
可实现性诊断信息。 VMCAI公司 2008 : 52-67 2007 【c1】 罗德里克·布隆 , 罗伯托·卡瓦达 , 印戈药丸 , 马可·罗维里 , 安德烈·查尔兹夫 :
RAT:需求形式化分析的工具。 CAV汽车 2007 : 263-267