聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 集成实时逻辑与Z++语言的形式化方法
出处:计算机工程与设计 2005年第11期 2887-2890,共4页
摘要:Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对... 显示全部
关键词: 实时逻辑 形式化方法 约束图 时间约束
在线阅读 下载全文
期刊文章 基于实时逻辑的时间约束检测方法
出处:计算机科学 2005年第7期 197-205,共9页
摘要:本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法.第一种方法通过检... 显示全部
关键词: 时间约束 检测方法 算法时间复杂度 约束条件 系统规范 空间复杂度 逻辑实现 通过检测 可满足性 系统检测 搜索时间 检测效率 约束规则 约束图 一致性 安全性 实时性 运行前
找到2条结果
`