您的位置： 专家智库 > >

董浩

作品数：1 被引量：6H指数：1
供职机构：西安交通大学电子与信息工程学院更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 3个自动化与计算...
  • 1个经济管理
  • 1个电子电信
  • 1个电气工程
  • 1个轻工技术与工...

主题

  • 3个定理
  • 3个定理证明
  • 3个形式化
  • 3个形式化方法
  • 3个形式化规约
  • 3个形式语言
  • 3个依赖图
  • 3个预处理
  • 3个软件开发
  • 3个软件模型
  • 3个软件模型检测
  • 3个实时系统
  • 3个条件化
  • 3个嵌入式
  • 3个嵌入式软件
  • 3个嵌入式软件开...
  • 3个切片算法
  • 2个调度
  • 1个带宽
  • 1个带宽分配

机构

  • 3个西安交通大学
  • 1个湖南涉外经济...
  • 1个西安交大捷普

资助

  • 3个国家高技术研...
  • 3个国家自然科学...
  • 1个福建省自然科...
  • 1个国家科技支撑...
  • 1个湖南省自然科...
  • 1个陕西省教育厅...
  • 1个西安市科技计...
  • 1个“九五”国家...
  • 1个国家火炬计划
  • 1个教育部人文社...
  • 1个陕西省社科界...
  • 1个陕西省重大科...
  • 1个中国下一代互...
  • 1个中央高校基本...

传媒

  • 3个计算机工程
  • 3个微电子学与计...
  • 3个吉林大学学报...
  • 2个西安交通大学...
  • 1个管理信息系统
  • 1个系统工程
  • 1个江西农业大学...
  • 1个电子与信息学...
  • 1个微计算机应用
  • 1个电信科学
  • 1个清华大学学报...
  • 1个计算机学报
  • 1个计算机工程与...
  • 1个红外与毫米波...
  • 1个微机发展
  • 1个计算机应用研...
  • 1个小型微型计算...
  • 1个兵工学报
  • 1个软件学报
  • 1个微型机与应用

地区

  • 2个陕西省
  • 1个湖南省
共 3 条 记 录，以下是 1-3
肖健宇
供职机构：湖南涉外经济学院
研究主题：B方法 形式化方法 程序依赖图 并发程序 UML状态机
发表作品相关人物供职机构所获资助研究领域
陈海诠
供职机构：西安交通大学电子与信息工程学院
研究主题：B方法 形式化方法 UML状态机 高可信 程序依赖图
发表作品相关人物供职机构所获资助研究领域
张德运
供职机构：西安交通大学
研究主题：无线传感器网络 计算机网络 网络处理器 网络安全 入侵检测
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0