中文Current position: Home > Scientific Research > Research Projects
Research Projects
基于编译的高可信嵌入式软件开发与验证方法研究
Date:2018-10-12 Hits:Affiliation of Participant(s):计算机学院
Leading Scientist:何炎祥
Supported by:国家自然科学基金“可信软件基础研究”重大研究计划项目
Project Number:91018009
Date of Project Approval:2011-01-01
何炎祥
Date of Birth:1952-01-08
Gender:Male
Education Level:研究生毕业
Status:离退休
School/Department:计算机学院