fault diagnosis; fault trees; formal verification; systems analysis; deductive safety analysis; fault event decomposition; formal fault tree analysis; minimal cut sets; state transition system; system design;
机译:核反应堆保护系统正式需求规范的软件故障树分析技术
机译:海上地震调查船运行的正式安全评估,包括风险矩阵和故障树分析
机译:使用形式化模型检查对状态/事件故障树进行定性分析
机译:状态转移系统的形式化故障树分析
机译:使用故障树,成功树和重要性评估进行系统分析的方法。
机译:整合侮辱:使用故障树分析来指导精神分裂症研究的各个层次的分析
机译:状态转移系统的形式故障树分析