.png){kind=icon}
返回
Comments on An interval logic for real-time system specification
.png){kind=icon}
OA
AI
DOI：10.1109/TSE.2006.50.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The paper An Interval Logic for Real-Time System Specification [5] presents the TILCO specification language and compares it to other existing similar languages. In this comment, we show that several of the logic formulas used for the comparison are flawed and/or overly complicated and we explain why, in this respect, the comparison is moot.
Keyword:
formal methods
temporal logic
real-time systems
期刊
IF:
5.6
论文数:
2.9K
被引数:
1.1W
机构
暂无机构信息
.png){kind=icon}
