CEFSM; Finite State Machine; Safety-Critical; Testing; FTA; Behavioral Model; Fault Model; Integration;
机译:安全关键系统的故障安全测试:案例研究和效率分析
机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:安全关键系统的故障安全测试
机译:安全关键系统的故障安全测试。
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:安全关键系统的故障安全测试