Pereira, Viny Cesar, Valdivino Alexandre de Santiago Júnior, and Silvio Manea.
"SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking." <em>Anais do XVIII Workshop de Testes e Tolerância a Falhas,
Belém, 2017</em>. SBC, 2017,  
sem paginação.