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:物联网中面向应急响应的排队机制及QoS保证研究