skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Automated verification of fault tolerance mechanisms

Bernardeschi, C., A. Fantechi, S. Gnesi, and A. Santone, "Automated verification of fault tolerance mechanisms", 3rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS), CWI, Amsterdam, 1998.