搜索结果: 1-2 共查到“控制科学与技术 verification”相关记录2条 . 查询时间(0.031 秒)
2017 IEEE国际模型验证与确认研讨会（IEEE International Workshop on Model-Based Verification & Validation）
2017 IEEE 国际模型 验证 确认 研讨会
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...
国际研讨会上域特定的基于模型的方法来验证和确认（International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn）
国际研讨会 域特定 基于模型 方法 验证 确认
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...