搜索到 篇“ 有界模型检测 “的相关文章

相关作者

杨晋吉
作品数：63被引量：147H指数：6
供职机构：华南师范大学
研究主题：存储介质 图像 形式化验证 染色体 概率模型检测
苏开乐
作品数：48被引量：152H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
骆翔宇
作品数：34被引量：126H指数：7
供职机构：华侨大学计算机科学与技术学院
研究主题：WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
肖茵茵
作品数：15被引量：31H指数：3
供职机构：广东技术师范学院计算机科学学院
研究主题：实例化 安全协议验证 认证性 有界模型检测 自动化验证
侯刚
作品数：69被引量：147H指数：7
供职机构：大连理工大学
研究主题：正则表达式 工控网络 形式化验证 PROTEUS 计算机组织与结构