您的位置： 专家智库 > >

王明兰

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

合作作者

领域

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

主题

  • 1个电器
  • 1个形式化
  • 1个形式化描述
  • 1个用电器
  • 1个圆桌
  • 1个中国软件业
  • 1个中国质量认证
  • 1个软件测试
  • 1个软件测试过程
  • 1个软件测试技术
  • 1个软件产品
  • 1个软件业
  • 1个实时操作系统
  • 1个嵌入式
  • 1个嵌入式软件
  • 1个资源冲突
  • 1个自动化
  • 1个网络
  • 1个内存
  • 1个内存分配

机构

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

传媒

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

地区

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