The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (2006 vol.32)
pp: 428-431
ABSTRACT
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.
INDEX TERMS
Formal language, temporal logic, interval temporal logic, TILCO, conciseness.
CITATION
Pierfrancesco Bellini, Paolo Nesi, Davide Rogai, "Reply to Comments on "An Interval Logic for Real-Time System Specification'", IEEE Transactions on Software Engineering, vol.32, no. 6, pp. 428-431, June 2006, doi:10.1109/TSE.2006.57
55 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool