Reply to comments on "An interval logic for real-time system specification"

被引：2
|
作者：
Bellini, Pierfrancesco [1 ]
Nesi, Paolo [1 ]
Rogai, Davide [1 ]
机构：
[1] Univ Florence, Dept Syst & Informat, I-50239 Florence, Italy
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 2006年 / 32卷 / 06期
关键词：
formal language; temporal logic; interval temporal logic; TILCO; conciseness;
D O I：
10.1109/TSE.2006.57
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paper on Comments on "An Interval Logic for Real-Time System Specification" presents some remarks on the comparison examples from TILCO and other logics and some slips on the related examples. This paper gives evidence that such issues have no impact on the validity of the TILCO Theory of paper [ 1] and provides some further clarifications about some aspects of the comparison.
引用
收藏
页码：428 / 431
页数：4
相关论文
共 50 条
12345