国际暑期学校


“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

华东师范大学软件工程学院
学院地址:上海中山北路3663号理科大楼
院长信箱yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
www.sei.ecnu.edu.cn Copyright Software Engineering Institute