杨世伟
作品数: 4被引量:2H指数:1
  • 所属机构:汕头大学
  • 所在地区:广东省 汕头市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

谷德权
作品数:7被引量:2H指数:1
供职机构:中国科学院深圳先进技术研究院
研究主题:飞机控制 可达性分析 代码生成 仿真 PTOLEMY
李荣清
作品数:3被引量:1H指数:1
供职机构:汕头大学工学院
研究主题:飞机控制 可达性分析 飞机控制系统 形式化验证 可达集