您的位置： 专家智库 > >

鲍颖力

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

合作作者

领域

  • 8个自动化与计算...
  • 8个航空宇航科学...
  • 2个电子电信
  • 1个经济管理
  • 1个建筑科学
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个自然科学总论

主题

  • 8个软件测试
  • 8个自动化
  • 8个自动化测试
  • 7个形式化
  • 7个形式化描述
  • 7个软件测试自动...
  • 7个子系统
  • 7个自动化测试技...
  • 7个座舱
  • 7个飞机
  • 7个飞机座舱
  • 7个测试技术
  • 5个DO-178
  • 4个适航
  • 4个适航标准
  • 4个B/C
  • 3个代码
  • 3个一致性
  • 3个嵌入式
  • 3个嵌入式软件

机构

  • 8个中国航空无线...
  • 2个南京航空航天...
  • 1个航空电子系统...

资助

  • 1个国家高技术研...
  • 1个国家重点基础...
  • 1个国家自然科学...
  • 1个江苏省社会科...
  • 1个广义虚拟经济...
  • 1个江苏省研究生...
  • 1个中央高校基本...

传媒

  • 5个指挥信息系统...
  • 4个航空电子技术
  • 2个航空工程进展
  • 1个武汉理工大学...
  • 1个小型微型计算...
  • 1个软件学报
  • 1个测控技术
  • 1个计算机仿真
  • 1个噪声与振动控...
  • 1个计算机与现代...
  • 1个华东交通大学...
  • 1个北京航空航天...
  • 1个计算机科学
  • 1个交通运输系统...
  • 1个中国民航大学...
  • 1个系统仿真技术
  • 1个广义虚拟经济...
  • 1个中国航空学会...

地区

  • 8个上海市
共 8 条 记 录，以下是 1-8
黄芙平
供职机构：中国航空无线电电子研究所
研究主题：形式化描述 软件测试 测试程序 计算机程序 自动生成方法
发表作品相关人物供职机构所获资助研究领域
周弘斌
供职机构：中国航空无线电电子研究所
研究主题：软件测试 形式化描述 测试程序 自动化测试 计算机程序
发表作品相关人物供职机构所获资助研究领域
肖前远
供职机构：中国航空无线电电子研究所
研究主题：软件测试 航空 测试用例 形式化描述 自动化测试
发表作品相关人物供职机构所获资助研究领域
韦华
供职机构：中国航空无线电电子研究所
研究主题：形式化描述 测试程序 描述语言 自动化水平 自动化测试
发表作品相关人物供职机构所获资助研究领域
张冬梅
供职机构：中国航空无线电电子研究所
研究主题：DO-178 B/C 飞机座舱 交换机软件 交换机
发表作品相关人物供职机构所获资助研究领域
倪红英
供职机构：中国航空无线电电子研究所
研究主题：测试程序 形式化描述 软件测试 分析软件 信息查询
发表作品相关人物供职机构所获资助研究领域
王辉
供职机构：中国航空无线电电子研究所
研究主题：形式化 安全关键软件 自动化测试 机载 航电
发表作品相关人物供职机构所获资助研究领域
陈琳
供职机构：中国航空无线电电子研究所
研究主题：航空运输 进近 机场 机场噪声 博弈论
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0