机译:使用安全图表进行模型检查安全关键系统
机译:使用安全图表自动进行故障分析
机译:为危险材料生产中的安全关键系统建模故障树分析
机译:使用扩展安全图表的安全关键系统建模和自动故障分析
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:在左心室舒张性功能障碍中细胞外基质重塑中金属蛋白酶酶的基质金属蛋白酶和组织抑制剂射出射血分裂的心力衰竭:系统评价和荟萃分析
机译:使用SafeCharts的安全关键系统建模与验证
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范