安德烈·查尔兹夫
人员信息
优化列表
2010 – 2019
2000 – 2009
2008 【c2】 亚历山德罗·西马蒂 , 马可·罗维里 , 维克多·舒潘 , 安德烈·查尔兹夫 :
可实现性诊断信息。 VMCAI公司 2008 : 52-67 2007 【c1】 罗德里克·布隆 , 罗伯托·卡瓦达 , 印戈药丸 , 马可·罗维里 , 安德烈·查尔兹夫 :
RAT:需求形式化分析的工具。 CAV汽车 2007 : 263-267