论文研究Model Checking Hybrid Systems Within Hybrid Temporal Logic.pdf 上传者：CSDN阿坤 2019-09-28 14:26:57上传 其他文档文件 604KB 热度 71次 基于混合时序逻辑的混合系统的模型检测，张海宾，，这篇文章处理基于混合时序逻辑的混合系统的模型检测技术。通过转换为区间时序逻辑的模型检测问题我们解决了时间自动机的模型检测 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
