Marco Bozzano等人：使用形式化方法进行航天器早期设计验证。(2014) 日记账/ress/BozzanoCKKMNNPR14 2016年10月10日/J.RESS.2014.07.003 Q57800907号 使用正式方法进行航天器早期设计验证。 9 马可·波扎诺 1 亚历山德罗·西马蒂 2 Joost-Pieter Katoen公司 三 卡氏帕纳吉奥蒂斯 4 康斯坦蒂诺斯·莫科斯 5 越南元 6 托马斯·诺尔0001 7 巴特·波斯玛 8 马可·罗维里 9 20-35 宗教信仰。工程系统。安全。 宗教信仰。工程系统。安全。 132 2014 dblp记录“journals/ress/BozzanoCKKMNNPR14”的RDF数据的来源信息 2021-10-14T08:50:22+0200