基于编译的高可信嵌入式软件开发与验证方法研究
点击次数：
所属单位：计算机学院
负责人姓名：何炎祥
项目来源：国家自然科学基金“可信软件基础研究”重大研究计划项目
项目编号：91018009
立项时间：2011-01-01
上一条：可信计算的软件理论与关键技术研究
下一条：低速率的拒绝服务攻击模型和防范研究
个人信息 Personal information
出生日期：1952-01-08
学历：研究生毕业
在职信息：离退休
所在单位：计算机学院
入职时间：1974-12-08