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  

Tags:
Created by Alexandre Lefebvre on 2012/06/12 14:51
http://skins.ow2.org/skins/skinOW2/images/Featuredvideo.png
  • Clément Escoffier, Grenoble University
http://skins.ow2.org/skins/skinOW2/images/watchallvideos.png

Powered by XWiki Hosted by Xsalto Free PageRank Checker Creative Commons 2.0 license Legal Notice