首页 > 学术活动

Decision Making via Model Checking

演讲者：Jin Song DONG
时间：2018-01-05（星期五）14:30-16:00
地点：南山智园A7栋1008室

20180105 jinsong dong.jpg

现场照片请查看：http://cse.sustech.edu.cn/cn/news/view/id/556

地址：南方科技大学工学院南楼444A办公室