您的位置： 专家智库 > >

倪红英

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

合作作者

领域

  • 17个自动化与计算...
  • 15个航空宇航科学...
  • 3个电子电信
  • 2个交通运输工程
  • 2个自然科学总论
  • 1个经济管理
  • 1个建筑科学
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个政治法律
  • 1个文化科学

主题

  • 14个自动化
  • 13个自动化测试
  • 12个软件测试
  • 11个航空电子
  • 11个飞机
  • 10个子系统
  • 10个自动化测试技...
  • 10个座舱
  • 10个航空电子系统
  • 10个飞机座舱
  • 10个测试技术
  • 9个形式化
  • 9个形式化描述
  • 9个机载
  • 7个软件测试自动...
  • 6个用户
  • 6个机载软件
  • 6个DO-178
  • 5个适航
  • 5个B/C

机构

  • 14个中国航空无线...
  • 3个南京航空航天...
  • 2个海军驻上海地...
  • 1个上海交通大学

资助

  • 2个国家高技术研...
  • 2个国家重点基础...
  • 2个国家自然科学...
  • 1个江苏省自然科...
  • 1个中国博士后科...
  • 1个江苏省社会科...
  • 1个广义虚拟经济...
  • 1个江苏省高等教...
  • 1个江苏省研究生...
  • 1个中国航空科学...
  • 1个中国民航总局...
  • 1个中央高校基本...

传媒

  • 12个航空电子技术
  • 4个指挥信息系统...
  • 2个计算机工程
  • 2个计算机应用
  • 2个小型微型计算...
  • 2个计算机与现代...
  • 2个计算机科学
  • 2个航空工程进展
  • 1个电子科技
  • 1个计算机研究与...
  • 1个工业控制计算...
  • 1个武汉理工大学...
  • 1个计算机工程与...
  • 1个计算机应用与...
  • 1个计算机应用研...
  • 1个计算机与应用...
  • 1个软件学报
  • 1个测控技术
  • 1个计算机工程与...
  • 1个计算机仿真

地区

  • 16个上海市
  • 1个江苏省
共 17 条 记 录，以下是 1-10
黄芙平
供职机构：中国航空无线电电子研究所
研究主题：形式化描述 软件测试 测试程序 计算机程序 自动生成方法
发表作品相关人物供职机构所获资助研究领域
周弘斌
供职机构：中国航空无线电电子研究所
研究主题：软件测试 形式化描述 测试程序 自动化测试 计算机程序
发表作品相关人物供职机构所获资助研究领域
王辉
供职机构：中国航空无线电电子研究所
研究主题：形式化 安全关键软件 自动化测试 机载 航电
发表作品相关人物供职机构所获资助研究领域
陈琳
供职机构：中国航空无线电电子研究所
研究主题：航空运输 进近 机场 机场噪声 博弈论
发表作品相关人物供职机构所获资助研究领域
张冬梅
供职机构：中国航空无线电电子研究所
研究主题：DO-178 B/C 飞机座舱 交换机软件 交换机
发表作品相关人物供职机构所获资助研究领域
倪亭
供职机构：中国航空无线电电子研究所
研究主题：测试程序 飞行任务 形式化描述 计算机程序 自动生成方法
发表作品相关人物供职机构所获资助研究领域
肖前远
供职机构：中国航空无线电电子研究所
研究主题：软件测试 航空 测试用例 形式化描述 自动化测试
发表作品相关人物供职机构所获资助研究领域
王彬
供职机构：中国航空无线电电子研究所
研究主题：测量方法 参数测量 航空 系统信号 视频系统
发表作品相关人物供职机构所获资助研究领域
韦华
供职机构：中国航空无线电电子研究所
研究主题：形式化描述 测试程序 描述语言 自动化水平 自动化测试
发表作品相关人物供职机构所获资助研究领域
丁毅
供职机构：中国航空无线电电子研究所
研究主题：自动化测试 软件测试 服务器软件 串口通信协议 串口通信
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0