国际暑期学校

“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 

华东师范大学计算机科学与软件工程学院
www.sei.ecnu.edu.cn Copyright School of Computer Science and Software Engineering
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼| 招聘信息