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
N° accessi 434
Formato document
Tipo pdf
Accessibile sulle piattaforme PC, iPhone/iPad, Android, Windows Phone 7