机译:变速箱控制软件的自动验证方法
机译:变速箱控制软件的自动验证方法
机译:自动匹配软件辅助锥束CT与立体千伏X射线位置验证图像引导的放射治疗头颈癌的方法比较:前瞻性分析。
机译:方法比较自动匹配软件辅助锥梁CT和立体千伏X射线位置验证的头部和颈部癌症的辐射治疗:前瞻性分析。
机译:传输控制软件的自动验证和验证方法
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较:前瞻性分析
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:用自动化工程设计语言编写的数字飞行控制系统软件:用户验证和验证工具指南