XWikialefebvr1339505467421

Title of chosen Topic	30. BPM and model checking over SMEP (Trustie Software Resource Repository, Alitheia core, Orchestra)
School in Chinese	南京航空航天大学
School in English	Nanjing University of Aeronautics and Astronautics
Supervisor (CN)	黄志球
Supervisor (EN)	Zhiqiu Huang
Person in Charge (CN)	吕威
Person in Charge (EN)	Wei Lv
Participants (CN)	阚双龙，陈学龙，王宁，刘星痕，汪旺
Participants (EN)	Shuanglong Kan, Xuelong Chen, Ning Wang, Xinghen Liu, Wang Wang
Tel	15895896526
Email	OW2_2012@126.com
Address (CN)	江苏省南京市御道街29号南京航空航天大学计算机科学与技术学院
Address (EN)	College of Computer Science and Technology , Nanjing University of Aeronautics and Astronautics , 29 Yudao Street, Nanjing, Jiangsu, China