位置：立项数据库 > 立项详情页
基于时态逻辑的形式化综合
  • 项目名称：基于时态逻辑的形式化综合
  • 项目类别：面上项目
  • 批准号：69473017
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：韩俊刚
  • 依托单位：西安邮电学院
  • 批准年度：1994
韩俊刚的项目
新一代图形处理系统芯片体系结构及关键技术研究
期刊论文 53
用于芯片系统验证的证明引擎研究
期刊论文 6
无线通信自重构容错NOC研究
期刊论文 54 会议论文 14