邓辉
作品数: 2被引量:2H指数:1
  • 所属机构:北京交通大学计算机与信息技术学院
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家教育部博士点基金

相关作者

吴尽昭
作品数:77被引量:165H指数:7
供职机构:广西民族大学
研究主题:英文 异构 PROMELA 形式化验证 任务调度算法