搜索结果: 1-1 共查到“自动化技术应用 verification”相关记录1条 . 查询时间(0.078 秒)
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...