新闻动态

Formal Methods for Requirements Engineering for Large Cyber-Physical Systems

发布时间:2016-11-11 浏览量:953

roopak sinha.jpg

时间: 2016年11月11日(周五)10:00-12:00
地点: 电院群楼2-406
报告人: Dr. Roopak Sinha (The University of Auckland, New Zealand)
邀请人: 戴文斌

20161111 - Lecture by Roopak Sinha.pdf