Dubravka Ilic, Elena Troubitsyna. Formal Development of Software for Tolerating Transient Faults. In 11th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2005), 12-14 December, 2005, Changsha, Hunan, China. pages 140-150, IEEE Computer Society, 2005. [doi]
Abstract is missing.