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

deep search

collection's Playback

Metadata

Lingua dei metadati

Titolo Verification of External Specifications of Reactive Systems

Soggetto 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

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

Tecnico

Classificazione

IPR: informazioni

Luogo

Azioni

Media:

Il tuo voto: Nessuno

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

Filtri di Ricerca

Contenuti

Organizza collezioni personali

Select resources to add to collections

Vuoi veramente ripartire
dal zero?

Classificazione