software engineering; fault tree analysis; system safety analysis; temporal logic;
机译:用定性形式方法构建混合系统需求的故障树
机译:海上地震调查船运行的正式安全评估,包括风险矩阵和故障树分析
机译:故障树分析(FTA)-船舶维修行业的正式安全评估(FSA)是一种简便的方法
机译:正式故障树施工与系统安全分析
机译:使用故障树分析检测安全关键嵌入式系统中的组件故障和关键组件
机译:铸造企业的砂型铸造安全性评估:故障树分析Heinrich事故三角形HAZOP-LOPA领结模型
机译:状态事件故障树和故障树结合马尔可夫链对动态嵌入式系统安全性的经验评估
机译:综合树模型:故障树构造的形式化方法。