首页 下载 数据库 其它 下载详情 论文研究 离散时间区间时序逻辑统一框架模型检查 .pdf 上传:weixin_39882200 浏览: 9 推荐: 0 文件:.PDF 大小:350KB 上传时间:2021-04-23 18:13:46 版权申诉 离散时间区间时序逻辑统一框架模型检查,朱维军,段振华,统一逻辑语义框架验证方法有利于从规范到实现的逐步求精;区间实时逻辑具有描述和验证实时区间的能力。然而在统一逻辑模型检查中 立即下载 上传资源 微信扫一扫 用户评论 提交评论