Safety critical systems; Fault tree analysis; Petri nets; Forward and backward reachability analysis;
机译:基于故障树分析和模糊推理Petri网的太阳能电池阵列可靠性分析方法
机译:时间Petri网分析方法的时间相关故障树分析
机译:时间Petri网分析方法的时间相关故障树分析
机译:基于故障树分析和Petri网的安全分析方法
机译:使用故障树,成功树和重要性评估进行系统分析的方法。
机译:铸造企业的砂型铸造安全性评估:故障树分析Heinrich事故三角形HAZOP-LOPA领结模型
机译:Petri Net和故障树分析:结合两种技术对嵌入式军事应用程序进行软件安全性分析