Marco Bozzano等人：aadl模型的验证和性能评估。(2009) conf/sigsoft/BuzzanoCRKNN09公司 10.1145/1595696.1595744 Q57801624号 aadl模型的验证和性能评估。 6 马尔科·博扎诺 1 亚历山德罗·西马蒂 2 马可·罗维里 三 Joost-Pieter Katoen公司 4 越南元 5 托马斯·诺尔0001 6 285-286 ESEC/SIGSOFT FSE ESEC/SIGSOFT FSE 2009 2009 dblp记录“conf/sigsoft/BozzanoCRKNN09”的RDF数据的来源信息 2021-10-14T10:39:56+0200