位置：立项数据库 > 立项详情页
不确定环境下可信国产城轨控制系统（iCMTCt）构造关键技术研究
  • 项目名称：不确定环境下可信国产城轨控制系统（iCMTCt）构造关键技术研究
  • 项目类别：重大研究计划
  • 批准号：91418203
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：陈铭松
  • 依托单位：华东师范大学
  • 批准年度：2014
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 2
  • 0
  • 0
  • 0
  • 0
期刊论文
不确定环境下智能大厦空调系统调度策略评估
基于通信的列车控制系统可信构造：形式化方法综述
陈铭松的项目
基于高阶规约定向测试的异构系统验证研究
期刊论文 8 会议论文 9 著作 1
基于虚拟原型的信息物理融合系统高效可信构造研究
期刊论文 1