位置：立项数据库 > 立项详情页
可信信息物理融合软件的分析与验证
  • 项目名称：可信信息物理融合软件的分析与验证
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：61120106006
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：王戟
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2011
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 3
  • 0
  • 0
  • 0
  • 0
期刊论文
Recent advances on trusted computing in China
基于最弱前置条件的静态分析误报消除技术
基于求解开销预测的符号执行搜索策略研究
王戟的项目
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
实时容错协议的形式化技术
期刊论文 5
面向UML的形式化测试技术
混成系统设计演算
第19届软件工程自动化国际会议
"第10届高质量软件国际会议"国际合作交流
　高安全等级操作系统设计验证的关键技术
期刊论文 6
网络计算环境的程序设计理论及关键技术
期刊论文 10
软件工程学
期刊论文 25 会议论文 10
第1届CUE会议