提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/cj/BozzanoCKNNR11澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂AU-Katoen，Joost-PieterAU-阮，越南澳大利亚-诺尔，托马斯AU-马可·罗维里TI-扩展AADL模型的安全性、可靠性和性能分析。JO-计算。J。第54页IS-5标准SP-754EP-7752011年上半年//DO-10.1093/COMJNL/BXQ024UR-（欧元）https://doi.org/10.1093/comjnl/bxq024UR-（欧元）https://www.wikidata.org/entity/Q57801320急诊室-