Data di Pubblicazione:
1998
Abstract:
Sommario non disponibile.
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Safety critical systems; Mechanical verification; Temporal logic; Model checking
Elenco autori:
Fantechi, Alessandro; Gnesi, Stefania; LA ROSA, Salvatore
Link alla scheda completa:
Pubblicato in: