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

deep search

collection's Playback

Metadata

Metadata languages

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

Classification

IPR information

Location

Actions

Average:

Your rating: None

Submitted by root on Thurs, 2014-02-06 00:54

Search Filter

Content

Organize Personal Collection

Select resources to add to collections

Do you really want to start
from scratch?

Classification

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 = 1714826670 WHERE sid = 'd838f105a27035e77b13b834db033231' in C:\Programmi\Apache Software Foundation\Apache2.2\htdocs\drupal\includes\database.mysqli.inc on line 128

New Menu

Related objects by text

Comments

collection's Playback

Metadata

Actions

Search Filter

Content

Organize Personal Collection

Classification