Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking.
Articolo
Data di Pubblicazione:
2005
Tipologia CRIS:
01.01 Articolo in rivista
Keywords:
Fault Tolerant Systems; Formal Verification; Partial Model Checking
Elenco autori:
Martinelli, Fabio
Link alla scheda completa: