|
高安全系统的软件开发与验证技术工信部重点实验室
Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology |
|
本实验室在建设过程中得到了学校和上级主管部门的大力支持,先后获得了江苏省优势学科、江苏省重点学科、条件保障、重点实验室建设经费、江苏省软件协同创新中心等建设项目的支持,本年度学校和学院共投入经费100万元用于实验室建设。通过建设,学科建成海量数据分析平台系统软件、综合航电系统开发环境和国防软件测试和认证等学科平台等,形成了本实验室的基础。经过近年学校的重点投入和建设,实验室已成为具有鲜明特色的高安全软件技术的研究基地。 |
联系人:陶传奇,谢健 编码:211106 地址:江苏省南京市将军大道29号南航计算机科学技术学院 |
电话:025-84892848 传真:025-84892848 E-mail:taochuanqi@nuaa.edu.cn, xiejian_5@nuaa.edu.cn |
|||||
友情链接: | 站内文章检索: | |||||
版权所有(C)南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室 | |