机译:基于组件的软件验证的局部最小与最大假设生成方法研究
机译:基于组件的软件验证的最小假设生成方法的优化*
机译:基于组件的软件验证的最小假设生成方法
机译:基于组件的软件验证假设生成方法的实现
机译:基于组件的方法来验证和确认正式软件模型。
机译:自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较:前瞻性分析
机译:自动生成用于软件规范模块化验证的假设
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷