Comments on" An Interval Logic for Real-Time System Specification"
CA Furia, A Morzenti, M Pradella… - IEEE Transactions on …, 2006 - ieeexplore.ieee.org
The paper" An Interval Logic for Real-Time System Specification"(Mattolini and Nesi, IEEE
Trans. Software Eng., vol. 27, no. 3, pp. 208-227, Mar. 2001) 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
Trans. Software Eng., vol. 27, no. 3, pp. 208-227, Mar. 2001) 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
[PDF][PDF] Comments on “An Interval Logic for Real-Time System Specification”
CNR IEIIT-MI - researchgate.net
Abstract 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.
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.
Showing the best results for this search. See all results