DISIT Lab of University of Florence | DISIT Lab of University of Florence

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