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