Verification of External Specifications of Reactive Systems

deep search

collection's Playback

Metadata

Metadata languages

Title Verification of External Specifications of Reactive Systems

Subject P. Bellini, M. A. Bruno, P Nesi, ``Verification of External Specifications of Reactive Systems'', IEEE Transactions on Systems Man and Cybernetics, IEEE Press, USA, pp.692 - 709, 10.1109/3468.895892, nov 2000

Description Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines

Technical

Classification

IPR information

Location

Actions

Average:

Your rating: None

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

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 = 1752058290 WHERE sid = '267f0e09928c09dc12b8216955ed13b6' 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