-
周弘斌
-

-

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

- 作品数:15被引量:21H指数:2
- 供职机构:中国航空无线电电子研究所
- 研究主题:软件测试 航空 测试用例 形式化描述 自动化测试
- 黄芙平

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

- 作品数:16被引量:13H指数:2
- 供职机构:中国航空无线电电子研究所
- 研究主题:测试程序 形式化描述 软件测试 分析软件 信息查询
- 王辉

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

- 作品数:3被引量:0H指数:0
- 供职机构:中国航空无线电电子研究所
- 研究主题:形式化描述 测试程序 描述语言 自动化水平 自动化测试