搜索结果: 1-4 共查到“会议中心 工学 Validation”相关记录4条 . 查询时间(0.046 秒)
2017 IEEE国际模型验证与确认研讨会（IEEE International Workshop on Model-Based Verification & Validation）
2017 IEEE 国际模型 验证 确认 研讨会
font style='font-size:12px;'>
2017/6/23
Costs entailed by software failures demonstrate that the systematic development of software in a certain quality is still a challenge, even after decades of research. A reason for this can certainly b...
2017 IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017 IEEE 国际自动化软件系统 验证 确认 研讨会
font style='font-size:12px;'>
2017/6/23
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
2017IEEE国际自动化软件系统验证与确认研讨会（IEEE International Workshop on Verification and Validation of Adaptive Software Systems）
2017年 自动化软件系统验证与确认 研讨会
font style='font-size:12px;'>
2017/6/21
The complexity of software and software-enabled systems and the need to reduce and master this complexity has led the software quality community to look for inspiration in diverse fields such as robot...
国际研讨会上域特定的基于模型的方法来验证和确认（International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn）
国际研讨会 域特定 基于模型 方法 验证 确认
font style='font-size:12px;'>
2017/2/15
Recent years have witnessed the emergence of domain specific model-based approaches for verification and validation in software development. These approaches are tailored to specific needs and use dom...