机译:安全关键系统的故障安全测试:案例研究和效率分析
Department of Computer Science, University of Denver;
Department of Computer Science, University of Denver;
Department of Computer Science, University of Denver;
CEFSM; Finite-state machine; Safety-critical; Testing; FTA; Behavioral model; Fault model; Integration;
机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
机译:从操作测试评估安全关键系统:自动车辆的研究
机译:安全关键应用程序的软件测试-实时自动化系统的功能和性能测试
机译:安全关键系统的故障安全测试
机译:安全关键系统的故障安全测试。
机译:能源效率分析:与生物燃料生产燃料分配和动力总成系统相关的生物质对轮效率
机译:安全关键系统的故障安全测试