Marco Bozzano等人：AADL的模型检查器。(2010) conf/cav/BozzanoCKNNRW10 10.1007/978-3-642-14295-6_48 Q57801372号 AADL的模型检查器。 7 马可·波扎诺 1 亚历山德罗·西马蒂 2 Joost-Pieter Katoen公司 三 越南元 4 托马斯·诺尔0001 5 马可·罗维里 6 拉尔夫·威默0001 7 562-565 CAV汽车 CAV汽车 2010 2010 dblp记录“conf/cav/BozzanoCKNNRW10”的RDF数据的来源信息 2020-09-05T17:55:20+0200