聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
学位论文 基于共代数的确定型有穷自动机研究
摘要:共代数理论自从20世纪90年代以来,已经得到广泛的研究和应用,越来越引起计算机研究人员的关注,已经成为... 显示全部
关键词: 范畴论 共代数 自动机 正则表达式
学位论文 时态认知逻辑的模型检测与安全协议验证
摘要:本文主要针对时态认知逻辑的模型检测问题进行了初步研究,研究成果体现在如下几方面:(1)论文首先对安全协... 显示全部
关键词: 安全协议 形式化方法 模型检测 时态认知逻辑 多智体系统 协议验证 密码协议 自动机 秘密性
找到2条结果
`