Formal Development of Mechanisms for Tolerating Transient Faults

Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook. Formal Development of Mechanisms for Tolerating Transient Faults. In Michael J. Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Volume 4157 of Lecture Notes in Computer Science, pages 189-209, Springer, 2006. [doi]

Abstract

Abstract is missing.