Verification; Programming languages; Information assurance; Test and evaluation; Theses; Life cycles; Theorems; Software tools; Logic; Language; Specifications; Automation;
机译:一种综合定向定向放射咨询机构质量保证幻像,用于多重定向系统的易于旋转验证
机译:商业质量保证系统之间剂量学性能的比较,以验证使用无展平滤波器的立体定向身体放疗的预处理计划
机译:商业质量保证系统之间剂量学性能的比较,以验证使用无展平滤波器的立体定向身体放疗的预处理计划
机译:Specware:复杂软件系统正式开发的高级环境
机译:基于分析的验证:一种用于确保机械程序属性的面向程序员的方法。
机译:商业质量保证系统之间剂量学性能的比较以验证使用无展平滤波器的立体定向身体放疗的预处理计划
机译:Specware分析及其在验证高保障系统中的实用性