机译:基于神经网络的安全关键控制软件的测试与验证:系统文献综述
机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:标准ANSI Z9.14:生物安全等级3(BSL-3)和动物生物安全等级3(ABSL-3)设施的通风系统的测试和性能验证方法
机译:用于地面系统测试和软件验证的姿态控制测试设施
机译:开发计算机平衡运动台:用于微卫星姿态控制系统的地面测试设备。
机译:QC_DR软件在直接数字射线照相系统的验收测试和常规质量控制中的应用:使用意大利物理学家协会的药物质量控制协议的初步经验
机译:NPSAT1电磁姿态控制系统算法验证,确认和空气轴承测试