机译:基于事件驱动方法的嵌入式系统设计简化软件
机译:解决非线性和混沌动力学问题时工程软件验证和验证的实用方法
机译:动态验证者核心:减轻软件风险管理过程风险的实用解决方案
机译:验证事件驱动软件的实用方法
机译:实用的最坏情况下的软件测试方法
机译:自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较:前瞻性分析
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷