高安全系统的软件开发与验证技术工信部重点实验室

Key Laboratory for Safety-critical Software Development and Verification (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology
 
 
实验室组织
 
当前位置:首页  实验室组织  领导班子
 

实验室主任:

         黄志球 研究方向:软件验证与质量保证