论文研究 实时时态认知逻辑模型检测中三值抽象技术的研究 .pdf 上传者：CSDN阿坤 2020-07-18 16:33:54上传 PDF文件 498.01KB 热度 27次 实时时态认知逻辑模型检测中三值抽象技术的研究，周从华，孙博，实时时态认知逻辑TACTLK模型检测面临着与传统模型检测同样的挑战，即状态空间爆炸问题。抽象是缓解状态空间爆炸问题的最为有效的方 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
