搜索结果: 1-1 共查到“会议中心 计算机科学技术 R-D model”相关记录1条 . 查询时间(0.244 秒)
2017软件模型检验国际研讨会(International SPIN Symposium on Model Checking of Software)
2017 软件模型检验 国际研讨会
2017/6/29
Welcome to SPIN 2017, the 24th International SPIN Symposium on Model Checking of Software! SPIN 2017 will be held in Santa Barbara, California on July 13 and 14.