Pereira, Viny Cesar, 		Júnior, Valdivino Alexandre de Santiago, E 		Manea, Silvio.
" SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (19 maio 2017)