Computer program verification; Software engineering; Model based verification; Expected properties; Claims;
机译:生成并验证制造商的加热和烹饪指南
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证。
机译:用于将单晶硅纳米纳米槽切割梯形槽的模型建立与实验验证,预期深度和预期宽度
机译:基于模型的方法用于规范和验证临床指南
机译:使用重要的理化特性的共同信息进行生物序列分析。
机译:常规强度调制放射疗法验证的实用指南:门剂量法的治疗前验证和体内剂量法的治疗验证
机译:基于模型的验证:生成预期属性的准则