1998
Other
Unknown
Formal verification of fault tolerant mechanisms by model-checking.
Bernardeschi C., Fantechi A., Gnesi S., Mazzanti F., Santone A.
Model checking Software/Program Verification
FORTE/PSTV'98 Conference. Tool demonstrations proceedings (Parigi, 1998).
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:408276,
title = {Formal verification of fault tolerant mechanisms by model-checking.},
author = {Bernardeschi C. and Fantechi A. and Gnesi S. and Mazzanti F. and Santone A.},
year = {1998}
}
0000-0002-4648-4667CNR ExploRA