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

Formal validation of fault tolerance mechanisms

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.