位置：立项数据库 > 立项详情页
基于语义的群智化程序构造方法研究
  • 项目名称：基于语义的群智化程序构造方法研究
  • 项目类别：重大项目
  • 批准号：61690203
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：董威
  • 依托单位：中国人民解放军国防科学技术大学
  • 批准年度：2016
董威的项目
基于构件的高可信系统形式验证研究
期刊论文 15 会议论文 12
高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
期刊论文 5 会议论文 3
安全关键软件的故障诊断、隔离与恢复技术研究
期刊论文 7 会议论文 13 专利 1
面向运行时监控的软件设计与验证理论研究
期刊论文 9 会议论文 7