国际暑期学校-k8凯发平台

“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