国际暑期学校

金沙直营网

“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.socialprepa.com Copyright Software Engineering Institute
院长信箱:yuanzhang@socialprepa.com | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼