University of Denver.;
机译:安全关键系统的故障安全测试:案例研究和效率分析
机译:基于BDD的安全关键离散事件系统故障安全监控控制器的综合
机译:更安全的C:为高完整性和安全性至关重要的系统开发软件。莱斯·哈顿。欧洲McGraw-Hill图书公司出版,英国Maidenhead,1995年。ISBN0 07 707640 0,229页。价钱:22.95英镑,软皮
机译:安全关键系统的故障安全测试
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:通过安全关键环境下的语音预测疲劳和心理生理测试表现
机译:安全关键系统的故障安全测试
机译:安全关键计算机系统的风险缓解概述。