位置：立项数据库 > 立项详情页
基于实时连续环境的嵌入式系统的模型检测技术研究
  • 项目名称：基于实时连续环境的嵌入式系统的模型检测技术研究
  • 项目类别：面上项目
  • 批准号：61373043
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：张海宾
  • 依托单位：西安电子科技大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 2
  • 0
  • 0
  • 0
  • 0
期刊论文
基于DNA计算的线性时序逻辑模型检测方法
基于时间区间时序逻辑的实时系统统一模型检测
张海宾的项目
车联网与穿戴网融合网络的数据可靠性技术研究
基于约束凸多面体和抽象加细技术的混合系统的模型检测
期刊论文 22 会议论文 4 专利 1