Fault Model; Mitigation Tests; Model Based Testing; Safety-Critical Systems (SCSs); Testing;
机译:安全关键系统的故障安全测试:案例研究和效率分析
机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:安全关键系统中的故障安全测试
机译:安全关键系统的故障安全测试生成
机译:疫苗安全监视系统:美国疫苗安全数据链路快速周期分析功能开发中的关键要素和经验教训
机译:安全关键系统的故障安全测试