Sch. of Aerosp. Sci., Univ. of North Dakota Grand Forks, Grand Forks, ND;
Petri nets; fault trees; reachability analysis; safety-critical software; failure model; fault tree analysis; safety analysis method; safety critical system; system behavioral aspect; forward and backward reachability analysis; safety critical systems;
机译:基于故障树分析和模糊推理Petri网的太阳能电池阵列可靠性分析方法
机译:时间Petri网分析方法的时间相关故障树分析
机译:时间Petri网分析方法的时间相关故障树分析
机译:一种使用故障树分析和Petri网的安全分析方法
机译:使用故障树,成功树和重要性评估进行系统分析的方法。
机译:铸造企业的砂型铸造安全性评估:故障树分析Heinrich事故三角形HAZOP-LOPA领结模型
机译:Petri Net和故障树分析:结合两种技术对嵌入式军事应用程序进行软件安全性分析