-
岳伟亚
-
-
- 所属机构:中山大学信息科学与技术学院信息技术教育部重点实验室
- 所在地区:广东省 广州市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 陈清亮
- 作品数：19被引量：98H指数：5
- 供职机构：暨南大学
- 研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
- 苏开乐
- 作品数：48被引量：153H指数：8
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
- 吕关锋
- 作品数：12被引量：65H指数：4
- 供职机构：北京工业大学计算机学院
- 研究主题：BDD OBDD SPV 最短路径 知识结构
- 李扬
- 作品数：149被引量：602H指数：13
- 供职机构：广东工业大学
- 研究主题：虚拟仪器 LABVIEW 光学层析成像 漆包机 图像重建
- 肖茵茵
- 作品数：15被引量：32H指数：4
- 供职机构：广东技术师范学院计算机科学学院
- 研究主题：实例化 安全协议验证 认证性 有界模型检测 自动化验证
