failure analysis; fault trees; Markov processes; safety-critical software; software fault tolerance;
机译:通过使用故障树分析系统的每个组件组合的系统的瞬态可用性和生存能力的方法
机译:状态/事件故障树-软件控制系统的安全分析模型
机译:分析无限状态马尔可夫链,马尔可夫决策过程和随机博弈的复杂性(特邀演讲)
机译:组合故障树和马尔可夫链以分析复杂的软件控制系统
机译:静态和动态故障树分析及其在混合动力汽车系统和供应链中的应用。
机译:马尔可夫链蒙特卡罗技术用于鉴定人类复杂疾病下的等位基因变体组合
机译:状态事件故障树和故障树结合马尔可夫链对动态嵌入式系统安全性的经验评估
机译:二值图像和非齐次树索引马尔可夫链