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"}}


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

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


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  


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