机译:基于假设保证风格的实时软件演绎细化验证方法
机译:基于假设保证风格的实时软件演绎细化验证方法
机译:基于假设保证风格的实时软件的演绎细化验证方法
机译:I-Mathic Studio的软件规范细化和验证方法
机译:用于实时对象代码验证的规范和细化地图的合成
机译:自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较:前瞻性分析
机译:使用细化验证和混合自动机的实时软件的演绎性可调度性验证方法
机译:软件和计算机系统验证的形式化方法规范和分析指南