Title Comments on Comments on An Interval Logic for Real-Time System Specificatio
Subject Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Description Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Description 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.
Description P. Bellini, P. Nesi, D. Rogai, “Comments on Comments on "An Interval Logic for Real-Time System Specification", Software Engineering, IEEE Transactions on, IEEE press, Volume 32, Issue 6, June 2006, Page(s):428 – 431, Digital Object Identifier 10.1109/TSE.2006.57, ISSN 0098-5589, April 2006
Technical
N° accesses 469
Format document
Type pdf
Available platforms PC, iPhone/iPad, Android, Windows Phone 7