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

相关作者

肖前远
作品数:15被引量:21H指数:2
供职机构:中国航空无线电电子研究所
研究主题:软件测试 航空 测试用例 形式化描述 自动化测试
黄芙平
作品数:9被引量:2H指数:1
供职机构:中国航空无线电电子研究所
研究主题:形式化描述 软件测试 测试程序 计算机程序 自动生成方法
倪红英
作品数:16被引量:12H指数:2
供职机构:中国航空无线电电子研究所
研究主题:测试程序 形式化描述 软件测试 分析软件 信息查询
王辉
作品数:23被引量:24H指数:2
供职机构:中国航空无线电电子研究所
研究主题:形式化 安全关键软件 自动化测试 机载 航电
韦华
作品数:3被引量:0H指数:0
供职机构:中国航空无线电电子研究所
研究主题:形式化描述 测试程序 描述语言 自动化水平 自动化测试