PUMA
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.
 
 
Abstract
(English)
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