|
高安全系统的软件开发与验证技术工信部重点实验室
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）南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室 | |