XWikialefebvr1339505467421


Title of chosen Topic 30. BPM and model checking over SMEP (Trustie Software Resource Repository, Alitheia core, Orchestra)
School in Chinese {{html clean="false" wiki="false"}}

南京航空航天大学

{{/html}}
School in English {{html clean="false" wiki="false"}}

Nanjing University of Aeronautics and Astronautics

{{/html}}
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) {{html clean="false" wiki="false"}}

江苏省南京市御道街29号
南京航空航天大学
计算机科学与技术学院

{{/html}}
Address (EN) {{html clean="false" wiki="false"}}

College of Computer Science and Technology ,      
Nanjing University of Aeronautics and Astronautics ,
 29 Yudao Street, Nanjing, Jiangsu, China  

{{/html}}


This wiki is licensed under a Creative Commons 2.0 license
XWiki Enterprise 6.4.4 - Documentation
Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice