聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 集成实时逻辑与Z++语言的形式化方法
出处:计算机工程与设计 2005年第11期 2887-2890,共4页
摘要:Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对... 显示全部
关键词: 实时逻辑 形式化方法 约束图 时间约束
在线阅读 下载全文
找到1条结果
`