搜索到 篇“ 自动化验证 “的相关文章

相关作者

苏开乐
作品数：48被引量：153H指数：8
供职机构：浙江师范大学数理与信息工程学院
研究主题：开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
范钰丹
作品数：30被引量：58H指数：4
供职机构：中国人民解放军信息工程大学
研究主题：安全协议 密码协议 形式化分析 公平 一阶逻辑
乔俊超
作品数：10被引量：4H指数：1
供职机构：烽火通信科技股份有限公司
研究主题：OAM 芯片 PTN 发包 队列调度
胡少坚
作品数：148被引量：29H指数：3
供职机构：上海集成电路研发中心
研究主题：晶体管 漏极 刻蚀工艺 图像 场效应晶体管
肖茵茵
作品数：15被引量：32H指数：4
供职机构：广东技术师范学院计算机科学学院
研究主题：实例化 安全协议验证 认证性 有界模型检测 自动化验证