提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日记账/fac/BozzanoCM19澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂澳大利亚——克里斯蒂安·马塔雷TI-冗余架构的形式可靠性分析。JO-形式方面计算。VL-31IS-1标准SP-59第94页2019年上半年//DO-2007年10月10日/S00165-018-0475-1UR-（欧元）https://doi.org/10.1007/s00165-018-0475-1急诊室-