倪红英
作品数: 16被引量:12H指数:2
  • 所属机构:中国航空无线电电子研究所
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术

相关作者

黄芙平
作品数:9被引量:2H指数:1
供职机构:中国航空无线电电子研究所
研究主题:形式化描述 软件测试 测试程序 计算机程序 自动生成方法
周弘斌
作品数:13被引量:3H指数:1
供职机构:中国航空无线电电子研究所
研究主题:软件测试 形式化描述 测试程序 自动化测试 计算机程序
王辉
作品数:23被引量:24H指数:2
供职机构:中国航空无线电电子研究所
研究主题:形式化 安全关键软件 自动化测试 机载 航电
陈琳
作品数:18被引量:45H指数:5
供职机构:中国航空无线电电子研究所
研究主题:航空运输 进近 机场 机场噪声 博弈论
张冬梅
作品数:4被引量:0H指数:0
供职机构:中国航空无线电电子研究所
研究主题:DO-178 B/C 飞机座舱 交换机软件 交换机