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
N° accesses 434
Format document
Type pdf
Available platforms PC, iPhone/iPad, Android, Windows Phone 7