-
苏开乐
-
-
- 所属机构:浙江师范大学数理与信息工程学院
- 所在地区:浙江省 金华市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 陈清亮
- 作品数：19被引量：98H指数：5
- 供职机构：暨南大学
- 研究主题：SPV 最短路径 认知逻辑 安全协议 语义模型
- 吕关锋
- 作品数：12被引量：65H指数：4
- 供职机构：北京工业大学计算机学院
- 研究主题：BDD OBDD SPV 最短路径 知识结构
- 丁德成
- 作品数：25被引量：17H指数：2
- 供职机构：南京大学数学系
- 研究主题：开放逻辑 英文 缺省逻辑 极小不可满足公式 稠密性
- 吴立军
- 作品数：15被引量：99H指数：7
- 供职机构：电子科技大学计算机科学与工程学院
- 研究主题：形式化方法 时态 时态认知逻辑 EMD 符号模型检测
- 肖茵茵
- 作品数：15被引量：32H指数：4
- 供职机构：广东技术师范学院计算机科学学院
- 研究主题：实例化 安全协议验证 认证性 有界模型检测 自动化验证
