Electromagnetics; Facet-based; Coding; Verification; Software;
机译:使用制造溶液的方法验证矩量法代码
机译:用于模型验证,硬件/软件协同仿真,性能优化和可定制源代码生成的方法和工具集
机译:硬件-软件代码签名中的嵌入式软件验证
机译:HEVC解码器的高效软硬件协同验证方法
机译:使用机器学习和分类技术验证软件代码漏洞
机译:自动匹配软件辅助的锥束CT和立体千伏电压x射线的位置验证图像引导的头部和颈部癌症的放射治疗的方法比较:前瞻性分析
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷