Ferreira, R., Moreira, Ã., & Carro, L. 2010 May 28. Detecção e Correção de Falhas Transitórias Através da Descrição de Programas Usando Matrizes. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :