PEREIRA, Viny Cesar; 						JÚNIOR, Valdivino Alexandre de Santiago; 						MANEA, Silvio.
 SEU Mitigation for SRAM FPGAs: A comparison via Probabilistic Model Checking. <em>In</em>: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 18.	, 2017, Belém.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2017
.
 
			ISSN 2595-2684.