提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/icsrs/LanzaniSZCBT23文件澳大利亚-兰扎尼，伊莎贝拉澳大利亚-斯卡托里尼，里卡多AU-齐奥，恩里科AU-亚历山德罗·西马蒂澳大利亚-波扎诺，马尔科澳大利亚-托内塔，斯特凡诺TI-两种用于故障树分析的基于模型的安全评估正式方法。BT-第七届系统可靠性和安全国际会议，ICSRS 2023，意大利博洛尼亚，2023年11月22-24日第376页EP-3832023年上半年//DO-10.1109/ICSRS59833.2023.10381356UR-（欧元）https://doi.org/10.1109/ICSRS59833.2023.10381356急诊室-