机译:嵌入式控制系统的基于仿真的验证方法:传统和高级建模,测试和验证技术的概述
机译:有效验证UML / OCL类图的工具和切片技术的评估
机译:有效验证UML / OCL类图的工具和切片技术的评估
机译:高效测试设置和系统验证的新技术和工具
机译:FZG装置的设计和开发,用于测试齿轮传动系统中的高级润滑油。
机译:一种通过使用植入的基准对准并验证移动的肿瘤的每日位置来减少患者设置不确定性的技术
机译:结合验证和测试技术时,使用鲁棒性测试来处理不完整的验证结果
机译:微机高效软件开发的实践与技巧。由美国12家电子公司和大学开发和使用的编程语言,软件开发工具和系统