您的位置： 专家智库 > >

吴鹏

作品数：9 被引量：27H指数：2
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金中国科学院知识创新工程中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 8个自动化与计算...
  • 3个电子电信
  • 2个理学
  • 1个经济管理
  • 1个机械工程
  • 1个医药卫生
  • 1个文化科学
  • 1个文学
  • 1个艺术

主题

  • 4个软件测试
  • 3个形式化
  • 3个英文
  • 2个形式化方法
  • 2个一致性
  • 2个语义
  • 2个时序逻辑
  • 2个网络
  • 2个可达性
  • 2个可达性分析
  • 2个RED
  • 1个递归
  • 1个电池
  • 1个电传感器
  • 1个电路
  • 1个电路分析
  • 1个动点
  • 1个动画
  • 1个动画片
  • 1个多窗口

机构

  • 6个中国科学院软...
  • 3个中国科学院大...
  • 2个中国科学院
  • 1个长春理工大学
  • 1个中国科学院研...
  • 1个中国科学院光...
  • 1个国立台湾大学

资助

  • 8个国家自然科学...
  • 5个国家高技术研...
  • 4个中国科学院知...
  • 1个国家重点基础...
  • 1个吉林省科技发...
  • 1个国家杰出青年...
  • 1个吉林省教育厅...
  • 1个中国科学院国...
  • 1个中国科学院院...
  • 1个中央高校基本...

传媒

  • 4个软件学报
  • 3个计算机系统应...
  • 2个计算机研究与...
  • 2个电子学报
  • 2个计算机工程与...
  • 1个科学中国人
  • 1个情报科学
  • 1个光学精密工程
  • 1个科学通报
  • 1个科技导报
  • 1个光学技术
  • 1个计算机学报
  • 1个发展研究
  • 1个计算机工程
  • 1个微电子学与计...
  • 1个计算机应用
  • 1个发光学报
  • 1个计算机辅助设...
  • 1个中国科学（E...
  • 1个中国基础科学

地区

  • 6个北京市
  • 1个吉林省
共 8 条 记 录，以下是 1-8
吕毅
供职机构：中国科学院软件研究所
研究主题：形式化方法 机群文件系统 服务网格 机群 线性化
发表作品相关人物供职机构所获资助研究领域
李娜娜
供职机构：长春理工大学
研究主题：光学系统 可视化 卫星网络 网络协议 高斯光束
发表作品相关人物供职机构所获资助研究领域
林惠民
供职机构：中国科学院
研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
发表作品相关人物供职机构所获资助研究领域
岳翰
供职机构：中国科学院软件研究所
研究主题：测试用例选择 并发软件
发表作品相关人物供职机构所获资助研究领域
施小纯
供职机构：中国科学院软件研究所
研究主题：软件测试 英文 遗传算法 反例 形式化方法
发表作品相关人物供职机构所获资助研究领域
纪玮
供职机构：中国科学院软件研究所
研究主题：RED 可达性分析
发表作品相关人物供职机构所获资助研究领域
唐江峻
供职机构：中国科学院软件研究所
研究主题：软件测试 英文 传值进程 并发程序 标号迁移系统
发表作品相关人物供职机构所获资助研究领域
王凡
供职机构：国立台湾大学
研究主题：RED 可达性分析
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0