您的位置： 专家智库 > >

四川省科技计划项目(2013GZ0022)

作品数：1 被引量：4H指数：1
相关作者：陈志慧吴劲更多>>
相关机构：电子科技大学更多>>
发文基金：中央高校基本科研业务费专项资金四川省科技计划项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 2个自动化与计算...
  • 1个天文地球
  • 1个电子电信
  • 1个文化科学

主题

  • 2个形式化
  • 2个形式化方法
  • 2个形式化建模
  • 1个带宽
  • 1个带宽和
  • 1个代理
  • 1个代数攻击
  • 1个地理信息
  • 1个地理信息系统
  • 1个对等网
  • 1个对等网络
  • 1个信任模型
  • 1个信息处理
  • 1个信息处理系统
  • 1个信息系统
  • 1个性能分析
  • 1个一致性
  • 1个移动代理
  • 1个移动计算
  • 1个移动计算环境

机构

  • 2个电子科技大学

资助

  • 2个国家自然科学...
  • 2个国家科技重大...
  • 2个四川省科技计...
  • 2个中央高校基本...
  • 1个国防科技技术...
  • 1个国家科技攻关...
  • 1个国家重点基础...
  • 1个四川省科技支...
  • 1个电子信息产业...
  • 1个国家教育部博...
  • 1个信息安全国家...
  • 1个青年科技基金

传媒

  • 2个电子科技大学...
  • 1个计算机科学
  • 1个计算机教育

地区

  • 2个四川省
共 2 条 记 录，以下是 1-2
陈志慧
供职机构：电子科技大学计算机科学与工程学院
研究主题：形式化建模 精化 EVENT-B 形式化方法 形式化
发表作品相关人物供职机构所获资助研究领域
吴劲
供职机构：电子科技大学计算机科学与工程学院
研究主题：移动计算环境 缓存失效 移动代理 缓存 数据复制
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0