搜索结果: 1-1 共查到“会议中心 examination”相关记录1条 . 查询时间(0.135 秒)
2017反应性系统严格检验国际研讨会（International Workshop on Rigorous Examination of Reactive Systems）
2017 反应性系统 严格检验 国际研讨会
2017/6/29
The RERS Challenge 2017 is the 7th International Challenge on the Rigorous Examination of Reactive Systems and is co-located with the SPIN Symposium 2017. The event will be held on July 12th 2017 in S...