Comments on Comments on An Interval Logic for Real-Time System Specificatio

deep search

collection's Playback

Metadata

Lingua dei metadati

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

Classificazione

IPR: informazioni

Luogo

Azioni

Media:

Il tuo voto: Nessuno

Pubblicato da root il Gio, 2014-02-06 00:54

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Select resources to add to collections

Vuoi veramente ripartire
dal zero?

Classificazione

Warning: Table '.\drupal\sessions' is marked as crashed and should be repaired query: UPDATE sessions SET uid = 0, cache = 0, hostname = '192.168.0.44', session = 'hidePDA|s:1:\"0\";', timestamp = 1714141969 WHERE sid = '3f42e76f50dcda9d8de498ae3c847e02' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

New Menu

Related objects by text

Commenti

collection's Playback

Metadata

Azioni

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Classificazione