提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/ress/BozzanoCKKMNNPR14澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂AU-Katoen，Joost-PieterAU-卡萨罗斯，帕纳吉奥蒂斯AU-莫科斯、康斯坦蒂诺斯AU-阮，越南澳大利亚-诺尔，托马斯AU-Postma，巴特AU-马可·罗维里TI-使用正式方法进行航天器早期设计验证。JO-Reliab公司。工程系统。安全。VL-132SP-20EP-352014年上半年//DO-2016年10月10日/J.RESS.2014.07.003UR-（欧元）https://doi.org/10.1016/j.ress.2014.07.003UR-（欧元）https://www.wikidata.org/entity/Q57800907呃-