您的位置： 专家智库 > >

陕西省教育厅科研计划项目(07JK373)

作品数：1 被引量：4H指数：1
相关作者：边明明郭建韩俊岗更多>>
相关机构：西安电子科技大学西安邮电学院更多>>
发文基金：国家自然科学基金陕西省教育厅科研计划项目更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 3个自动化与计算...
  • 2个电子电信
  • 1个文化科学
  • 1个理学

主题

  • 3个自动机
  • 1个等价
  • 1个等价性验证
  • 1个电路
  • 1个定理
  • 1个定理证明
  • 1个对象模型
  • 1个信息技术
  • 1个形式化
  • 1个形式化方法
  • 1个形式化验证
  • 1个形式化验证方...
  • 1个形式化验证技...
  • 1个形式化证明
  • 1个一致性
  • 1个硬件
  • 1个硬件设计
  • 1个硬件验证
  • 1个用户
  • 1个用户界面

机构

  • 3个西安邮电学院
  • 1个华东师范大学
  • 1个西安电子科技...
  • 1个计算机软件新...

资助

  • 3个国家自然科学...
  • 3个陕西省教育厅...
  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个上海市自然科...
  • 1个陕西省教育厅...
  • 1个国家科技重大...
  • 1个江苏省“六大...
  • 1个基金委创新研...
  • 1个江苏省高校自...
  • 1个上海市科学技...

传媒

  • 3个计算机科学
  • 2个现代电子技术
  • 1个计算机工程与...
  • 1个计算机工程
  • 1个计算机应用
  • 1个小型微型计算...
  • 1个软件学报
  • 1个计算机辅助设...
  • 1个计算机工程与...
  • 1个淮海工学院学...
  • 1个微计算机信息
  • 1个西安电子科技...
  • 1个西安邮电学院...
  • 1个科学技术与工...
  • 1个信息网络安全
  • 1个第四届中国测...
  • 1个第五届中国测...

地区

  • 2个陕西省
  • 1个上海市
共 3 条 记 录，以下是 1-3
韩俊岗
供职机构：西安邮电学院计算机学院
研究主题：管理平台 信息技术 教学管理 基于ASP 自动机
发表作品相关人物供职机构所获资助研究领域
边明明
供职机构：西安邮电学院计算机学院计算机系
研究主题：自动机
发表作品相关人物供职机构所获资助研究领域
郭建
供职机构：华东师范大学
研究主题：形式化验证 三值逻辑 二叉判定图 布尔函数 片上系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0