您的位置： 专家智库 > >

倪亭

作品数：4 被引量：0H指数：0
供职机构：中国航空无线电电子研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

领域

  • 3个自动化与计算...
  • 3个航空宇航科学...
  • 1个电子电信

主题

  • 3个形式化
  • 3个形式化描述
  • 3个软件测试
  • 3个软件测试自动...
  • 3个子系统
  • 3个自动化
  • 3个自动化测试
  • 3个自动化测试技...
  • 3个自动生成
  • 3个自动生成方法
  • 3个座舱
  • 3个计算机
  • 3个计算机程序
  • 2个智能交通
  • 2个软件质量
  • 2个适航
  • 2个适航标准
  • 2个数据库
  • 2个自定义模型
  • 2个字典

机构

  • 3个中国航空无线...
  • 1个航空电子系统...

传媒

  • 3个指挥信息系统...
  • 1个航空电子技术
  • 1个中国航空学会...

地区

  • 3个上海市
共 3 条 记 录，以下是 1-3
黄芙平
供职机构：中国航空无线电电子研究所
研究主题：形式化描述 软件测试 测试程序 计算机程序 自动生成方法
发表作品相关人物供职机构所获资助研究领域
周弘斌
供职机构：中国航空无线电电子研究所
研究主题：软件测试 形式化描述 测试程序 自动化测试 计算机程序
发表作品相关人物供职机构所获资助研究领域
倪红英
供职机构：中国航空无线电电子研究所
研究主题：测试程序 形式化描述 软件测试 分析软件 信息查询
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0