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

信息物理融合系统软件可信性验证方法研究

Hits:

Leading Scientist:hougang

Project Participants:王洁,linchi,chizongzheng

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

Sub-Class of Project:青年科学基金项目

Status:完成

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

Nature of Project:纵向

Project Approval Number:61402073

Date of Project Approval:2014-09-01

Scheduled completion time:2017-12-31

Date of Project Initiation:2015-01-01

Date of Project Completion:2017-12-31

Pre One:青少年移动互联网使用与沉迷现状研究

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