鲍颖力
作品数: 5被引量:4H指数:1
  • 所属机构:中国航空无线电电子研究所
  • 所在地区:上海市
  • 研究方向:自动化与计算机技术

相关作者

黄芙平
作品数:9被引量:2H指数:1
供职机构:中国航空无线电电子研究所
研究主题:形式化描述 软件测试 测试程序 计算机程序 自动生成方法
周弘斌
作品数:13被引量:3H指数:1
供职机构:中国航空无线电电子研究所
研究主题:软件测试 形式化描述 测试程序 自动化测试 计算机程序
肖前远
作品数:15被引量:21H指数:2
供职机构:中国航空无线电电子研究所
研究主题:软件测试 航空 测试用例 形式化描述 自动化测试
韦华
作品数:3被引量:0H指数:0
供职机构:中国航空无线电电子研究所
研究主题:形式化描述 测试程序 描述语言 自动化水平 自动化测试
张冬梅
作品数:4被引量:0H指数:0
供职机构:中国航空无线电电子研究所
研究主题:DO-178 B/C 飞机座舱 交换机软件 交换机