-
张冬梅
-
-
- 所属机构:中国航空无线电电子研究所
- 所在地区:上海市
- 研究方向:自动化与计算机技术
相关作者
- 黄芙平
- 作品数：9被引量：2H指数：1
- 供职机构：中国航空无线电电子研究所
- 研究主题：形式化描述 软件测试 测试程序 计算机程序 自动生成方法
- 周弘斌
- 作品数：13被引量：3H指数：1
- 供职机构：中国航空无线电电子研究所
- 研究主题：软件测试 形式化描述 测试程序 自动化测试 计算机程序
- 王辉
- 作品数：23被引量：24H指数：2
- 供职机构：中国航空无线电电子研究所
- 研究主题：形式化 安全关键软件 自动化测试 机载 航电
- 倪红英
- 作品数：16被引量：12H指数：2
- 供职机构：中国航空无线电电子研究所
- 研究主题：测试程序 形式化描述 软件测试 分析软件 信息查询
- 黄栋杉
- 作品数：7被引量：33H指数：3
- 供职机构：中国航空无线电电子研究所
- 研究主题：航空电子 航空电子系统 片上网络 路由方法 容错能力
