Istituto di Scienza e Tecnologie dell'Informazione     
Bernardeschi C., Fantechi A., Gnesi S., Santone A. Formal validation of fault-tolerance mechanisms. In: FTCS - The 28th Annual International Symposium on Fault-Tolerant Computing. Digest of FastAbstracts (Munich, Germany, ). Proceedings, pp. 66 - 67. IEEE Computer Society, 1998.
no abstract available
Subject Fault-tolerance
Formal verification
Model checking

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional