您的位置： 专家智库 > >

徐辰

作品数：2 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 2个自动化与计算...
  • 1个机械工程
  • 1个交通运输工程
  • 1个农业科学
  • 1个自然科学总论

主题

  • 2个形式规约
  • 2个形式化
  • 2个形式化方法
  • 2个有限状态自动...
  • 2个软件测试
  • 1个代码
  • 1个代码分析
  • 1个地图
  • 1个地图模型
  • 1个迭代
  • 1个定理
  • 1个多参量
  • 1个多参数系统
  • 1个星载
  • 1个星载软件
  • 1个引用计数
  • 1个应用程序
  • 1个硬件
  • 1个映射
  • 1个源代码

机构

  • 2个中国科学院软...

资助

  • 1个国家重点基础...
  • 1个国家自然科学...

传媒

  • 2个第六届中国人...
  • 1个自然杂志
  • 1个软件学报
  • 1个计算机科学
  • 1个计算机科学与...
  • 1个中国科学：信...
  • 1个科技纵览
  • 1个2004年全...
  • 1个中国科学院计...
  • 1个第九届中国科...

地区

  • 2个北京市
共 2 条 记 录，以下是 1-2
王晓旭
供职机构：中国科学院软件研究所
研究主题：软件测试 有限状态自动机 测试数据生成 测试数据自动生成 测试数据
发表作品相关人物供职机构所获资助研究领域
张健
供职机构：中国科学院软件研究所
研究主题：仿真测试 软件测试 自动驾驶系统 测试数据 自动驾驶
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0