Fault tree analysis; Military applications; Computer program reliability; Computer program verification; Computer programs; Computers; Embedding; Errors; Failure; Hazards; Interactions; Logic; Models; Paths; Requirements; Risk; Safety; Sequences; Surveys; Theses; Petri nets;
机译:使用高级故障树和随机Petri网形式主义对安全关键系统进行可用性分析
机译:基于故障树分析和模糊推理Petri网的太阳能电池阵列可靠性分析方法
机译:时间Petri网分析方法的时间相关故障树分析
机译:基于故障树分析和Petri网的安全分析方法
机译:使用故障树分析检测安全关键嵌入式系统中的组件故障和关键组件
机译:基于Petri网的分析技术在信号转导途径中的应用
机译:Petri Net和故障树分析:结合两种技术对嵌入式军事应用程序进行软件安全性分析