国际暑期学校

“Embedded Systems Validation", 2008

 

"Reliable Software Engineering", 2009

 

"Cyber-Physical Systems", 2009

 

"Real-time System Analysis and Design", 2011

 

 "Verified Software",2012(Joint with Research Asia) 

 

 "Formal Methods in Software Engineering",2013 

 

"Model and Verification Driven Engineering",2014

 

 

 "Formal Method and Model Driven Enineering",2015 

金沙集团直营
Copyright 金沙集团直营_金沙游艺场网址
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼