|
高安全系统的软件开发与验证技术工信部重点实验室
Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology |
|
|
|
|
 |
|
联系人：陶传奇，谢健 编码：211106 地址：江苏省南京市将军大道29号南航计算机科学技术学院 |
电话：025-84892848 传真：025-84892848 E-mail：taochuanqi@nuaa.edu.cn, xiejian_5@nuaa.edu.cn |
|||||
| 友情链接： | 站内文章检索： | |||||
| 版权所有（C）南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室 | |