MARQUES, Johnny; 						HAYASHI, Sarasuaty; 						BARROS, Lillian.
 Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico. <em>In</em>: WORKSHOP DE REGULAÇÃO, AVALIAÇÃO DA CONFORMIDADE E CERTIFICAÇÃO DE SEGURANÇA, 5.	, 2019, São Paulo.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 1-10. 
		DOI: <a href="https://doi.org/10.5753/wrac.2019.14031">https://doi.org/10.5753/wrac.2019.14031</a>.