Viny Cesar Pereira, Valdivino Alexandre de Santiago Júnior, and Silvio Manea. 2017.
SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking. In <em>Anais do XVIII Workshop de Testes e Tolerância a Falhas</em>, maio 19, 2017, Belém, Brasil. SBC, Porto Alegre, Brasil.