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

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

Hits:

Leading Scientist:Frank Zhou

Project Participants:Lai Xiaochen,王洁,jinnaigao,hougang,chizongzheng

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

Status:结题

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

Nature of Project:纵向

Project Approval Number:91018003

Date of Project Approval:2010-09-25

Scheduled completion time:2011-12-31

Date of Project Initiation:2011-01-01

Date of Project Completion:2011-12-31

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

Next One:东营流程型企业智慧制造云平台建设与研究