-
倪红英
-

-

- 所属机构:中国航空无线电电子研究所
- 所在地区:上海市
- 研究方向:自动化与计算机技术
相关作者
- 黄芙平

- 作品数:9被引量:2H指数:1
- 供职机构:中国航空无线电电子研究所
- 研究主题:形式化描述 软件测试 测试程序 计算机程序 自动生成方法
- 周弘斌

- 作品数:13被引量:3H指数:1
- 供职机构:中国航空无线电电子研究所
- 研究主题:软件测试 形式化描述 测试程序 自动化测试 计算机程序
- 王辉

- 作品数:23被引量:26H指数:3
- 供职机构:中国航空无线电电子研究所
- 研究主题:形式化 安全关键软件 自动化测试 机载 航电
- 陈琳

- 作品数:18被引量:46H指数:5
- 供职机构:中国航空无线电电子研究所
- 研究主题:航空运输 进近 机场 机场噪声 博弈论
- 张冬梅

- 作品数:4被引量:0H指数:0
- 供职机构:中国航空无线电电子研究所
- 研究主题:DO-178 B/C 飞机座舱 交换机软件 交换机