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

Pubblicazioni di ateneo

Found 2 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Gnesi, S  [Clear All Filters]
1998
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.
Bernardeschi, C., A. Fantechi, S. Gnesi, and A. Santone, "Formal validation of fault tolerance mechanisms", Proc. Digest of FastAbstracts-28th Fault-Tolerant Computing Symposium (FTCS), Munich, Germany, pp. 66–67, 1998.