您的位置： 专家智库 > >

申光刚

作品数：2 被引量：8H指数：2
供职机构：中国航天科工集团公司更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 2个自动化与计算...

主题

  • 2个形式化
  • 2个形式化描述
  • 2个软件测试
  • 2个软件测试过程
  • 2个嵌入式
  • 2个嵌入式软件
  • 2个资源冲突
  • 2个网络
  • 2个副作用
  • 2个副作用分析
  • 2个贝叶斯
  • 2个贝叶斯网
  • 2个贝叶斯网络
  • 1个电器
  • 1个用电器
  • 1个圆桌
  • 1个中国软件业
  • 1个中国质量认证
  • 1个软件测试技术
  • 1个软件产品

机构

  • 2个中国航天科工...
  • 1个中国航天科工...
  • 1个中国航天科技...

传媒

  • 2个计算机工程与...
  • 1个单片机与嵌入...
  • 1个质量与认证

地区

  • 2个北京市
共 2 条 记 录，以下是 1-2
董丽
供职机构：中国航天科工集团公司
研究主题：副作用分析 形式化描述 资源冲突 嵌入式软件 贝叶斯网络
发表作品相关人物供职机构所获资助研究领域
叶东升
供职机构：中国航天科工集团
研究主题：软件测试 副作用分析 形式化描述 资源冲突 嵌入式软件
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0