Titolo Comments on Comments on An Interval Logic for Real-Time System Specificatio
Soggetto Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Descrizione Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Descrizione 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.
Descrizione 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
Tecnico
N° accessi 469
Formato document
Tipo pdf
Accessibile sulle piattaforme PC, iPhone/iPad, Android, Windows Phone 7