|
高安全系统的软件开发与验证技术工信部重点实验室
Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology |
|
2019年国内外学术交流情况： 在国际交流与合作方面，2019年邀请外籍专家开设暑期国际课程 4 门。邀请了79名国内外专家到学院开展学术报告；聘请外籍专家开设了暑期课程4门；师生参加国际学术会议 42人次；招收留学生24名。赴海外高等教育机构访问学者5人。 |
|
联系人：陶传奇，谢健 编码：211106 地址：江苏省南京市将军大道29号南航计算机科学技术学院 |
电话：025-84892848 传真：025-84892848 E-mail：taochuanqi@nuaa.edu.cn, xiejian_5@nuaa.edu.cn |
|||||
| 友情链接： | 站内文章检索： | |||||
| 版权所有（C）南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室 | |