您的位置： 专家智库 > >

陈海诠

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

合作作者

领域

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

主题

  • 4个定理证明
  • 4个嵌入式
  • 4个嵌入式软件
  • 4个高可信
  • 4个B方法
  • 3个定理
  • 3个形式化
  • 3个形式化方法
  • 3个形式化规约
  • 3个形式语言
  • 3个依赖图
  • 3个预处理
  • 3个软件开发
  • 3个软件模型
  • 3个软件模型检测
  • 3个实时系统
  • 3个条件化
  • 3个嵌入式软件开...
  • 3个切片算法
  • 3个文档

机构

  • 5个西安交通大学
  • 1个湖南涉外经济...
  • 1个广东省电信规...
  • 1个西安交大捷普

资助

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

传媒

  • 4个微电子学与计...
  • 3个计算机工程
  • 3个西安交通大学...
  • 3个吉林大学学报...
  • 2个清华大学学报...
  • 2个第三届全国搜...
  • 1个管理信息系统
  • 1个数据通信
  • 1个系统工程
  • 1个江西农业大学...
  • 1个电子与信息学...
  • 1个微计算机应用
  • 1个电信科学
  • 1个计算机学报
  • 1个计算机工程与...
  • 1个红外与毫米波...
  • 1个微机发展
  • 1个兰州大学学报...
  • 1个计算机应用研...
  • 1个小型微型计算...

地区

  • 3个陕西省
  • 1个湖南省
  • 1个广东省
共 5 条 记 录，以下是 1-5
张德运
供职机构：西安交通大学
研究主题：无线传感器网络 计算机网络 网络处理器 网络安全 入侵检测
发表作品相关人物供职机构所获资助研究领域
肖健宇
供职机构：湖南涉外经济学院
研究主题：B方法 形式化方法 程序依赖图 并发程序 UML状态机
发表作品相关人物供职机构所获资助研究领域
董皓
供职机构：西安交通大学电子与信息工程学院
研究主题：B方法 形式化方法 UML状态机 程序依赖图 并发程序
发表作品相关人物供职机构所获资助研究领域
董浩
供职机构：西安交通大学电子与信息工程学院
研究主题：MOCHA B方法 高可信软件 高可信 定理证明
发表作品相关人物供职机构所获资助研究领域
傅鹏
供职机构：广东省电信规划设计院有限公司
研究主题：支持向量机 无线传感器网络 语音质量 信息处理 向量空间模型
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0