岳伟亚
作品数： 6被引量：35H指数：3
  • 所属机构:中山大学信息科学与技术学院信息技术教育部重点实验室
  • 所在地区:广东省 广州市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

陈清亮
作品数：24被引量：101H指数：5
供职机构：暨南大学
研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
苏开乐
作品数：48被引量：152H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
吕关锋
作品数：12被引量：65H指数：4
供职机构：北京工业大学计算机学院
研究主题：BDD OBDD SPV 最短路径 知识结构
李扬
作品数：149被引量：601H指数：13
供职机构：广东工业大学
研究主题：虚拟仪器 LABVIEW 光学层析成像 漆包机 图像重建
肖茵茵
作品数：15被引量：31H指数：3
供职机构：广东技术师范学院计算机科学学院
研究主题：实例化 安全协议验证 认证性 有界模型检测 自动化验证
作品列表