|
高安全系统的软件开发与验证技术工信部重点实验室
Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology |
|
开放课题所取得的研究成果应按如下方式署名: 1)中文论文:应署“高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学)” 为作者的单位之一(署名在文章标题下); 2)英文论文:应署“Key Laboratory of Safety-Critical Software (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology”为作者的单位之一(署名在文章标题下); 3)项目编号:根据所申请的开放课题编号填写; 4)著作:扉页上应署“高安全系统的软件开发与验证技术工业和信息化部重点实验室资助项目”; 5)鉴定成果应署:“高安全系统的软件开发与验证技术工业和信息化部重点实验室”为该项成果的主要完成单位之一。 |
联系人:陶传奇,谢健 编码:211106 地址:江苏省南京市将军大道29号南航计算机科学技术学院 |
电话:025-84892848 传真:025-84892848 E-mail:taochuanqi@nuaa.edu.cn, xiejian_5@nuaa.edu.cn |
|||||
友情链接: | 站内文章检索: | |||||
版权所有(C)南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室 | |