机译:使用高级故障树和随机Petri网形式主义对安全关键系统进行可用性分析
机译:用于冗余系统可靠性分析的参数故障树及其高级Petri网语义
机译:具有执行器故障的半市场跳跃网络控制系统的事件触发稳定性分析,通过贝塞尔 - Legendre不平等的时变延迟
机译:控制系统的安全研究,比较马尔维亚,故障树和培养净净分析
机译:具有容错能力的Petri网的自适应巡航控制系统的设计与建模
机译:比较粪便微生物群与贝洛酮单抗移植在降低复发性艰难梭菌感染风险中的功效和安全性:随机对照试验的系统评价和贝叶斯网络荟萃分析
机译:Petri Net和故障树分析:结合两种技术对嵌入式军事应用程序进行软件安全性分析