Current position: Home >> Scientific Research >> Research Projects

航天多核嵌入式软件可信验证与系统原型

Hits:

Leading Scientist:Frank Zhou

Project Participants:王洁

Supported by:国家自然科学基金项目

Sub-Class of Project:面上项目

Status:结题

Supported by:国家自然科学基金委员会

Nature of Project:纵向

Project Approval Number:61272174

Date of Project Approval:2012-09-25

Scheduled completion time:2013-12-31

Date of Project Initiation:2013-01-01

Date of Project Completion:2013-12-31

Pre One:面向航天的可信嵌入式软件理论与技术研究

Next One:航天嵌入式软件可信性度量方法与系统