位置：立项数据库 > 立项详情页
航电系统软件可靠性的形式化验证技术研究
  • 项目名称：航电系统软件可靠性的形式化验证技术研究
  • 项目类别：联合基金项目
  • 批准号：U1533130
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：陈哲
  • 依托单位：南京航空航天大学
  • 批准年度：2015
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 1
  • 0
  • 0
  • 0
  • 0
期刊论文
C程序内存安全的运行时检测方法研究和实现
陈哲的项目
基于控制机制的软件可靠性新技术及其理论研究
期刊论文 65