fault trees; formal specification; formal verification; maintenance engineering; railways; ERTMS; ETCS; critical repairable system; radio block centre; repairable fault tree formalism; requirements engineering;
机译:具有优先级AND门的动态故障树建模的不可修复系统的可靠性分析
机译:维修树:快速维修,适用于采用纠删码的分布式存储系统中的单个故障
机译:评估民用RPAS系统的失效模式和失效的充分性和效用以及临界度分析和故障树分析方法
机译:使用可修复的故障树来评估关键可修复系统的设计选择
机译:使用故障树分析检测安全关键嵌入式系统中的组件故障和关键组件
机译:影响未驯化杨树ChIP-seq和RNA-seq数据分析的实验设计和计算参数选择的评估
机译:非确定性可修复故障树,用于计算最佳修复策略
机译:顺序和可修复系统的状态图和故障树之间的比较