机译:使用形式化模型检查对状态/事件故障树进行定性分析
Nanjing Univ Aeronaut & Astronaut Coll Aerosp Engn Nanjing 210016 Jiangsu Peoples R China|China Acad Elect & Informat Technol Beijing 100083 Peoples R China;
Nanjing Univ Aeronaut & Astronaut Coll Aerosp Engn Nanjing 210016 Jiangsu Peoples R China;
state/event fault tree (SEFT); timed automata (TA); model transformation; safety analysis;
机译:使用模型检查的离散事件系统间歇性故障可诊断性的形式验证
机译:具有相关基本事件的故障树模型中的不确定性分析
机译:用定性形式方法构建混合系统需求的故障树
机译:结合定理证明和模型检验的形式化动态故障树分析
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:故障树分析在预防错误手术中的应用
机译:使用正式模型检查的状态/事件故障树的定性分析
机译:综合树模型:故障树构造的形式化方法。