机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:基于神经网络的安全关键控制软件的测试与验证:系统文献综述
机译:验证对软件测试至关重要的钻机动力系统
机译:OTC 22018 - 第三方HIL在船舶和钻机上安全关键控制系统软件测试
机译:通过统计测试为安全关键型军用航空电子系统演示软件可靠性。
机译:QC_DR软件在直接数字射线照相系统的验收测试和常规质量控制中的应用:使用意大利物理学家协会的药物质量控制协议的初步经验
机译:安全关键嵌入式软件测试的受控实验
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件