杨晓飞
作品数: 5被引量:77H指数:3
  • 所属机构:北京化工大学
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

张杰
作品数:131被引量:299H指数:8
供职机构:北京化工大学
研究主题:形式化验证 定理证明 高速通信 抗辐照 SPACEWIRE
赵瑞莲
作品数:101被引量:301H指数:9
供职机构:北京化工大学
研究主题:软件测试 测试数据生成 遗传算法 测试用例 测试用例生成