Marques, Johnny, 		Hayashi, Sarasuaty, AND 		Barros, Lillian.
" Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico" <em>Proceedings of the Workshop on Regulation, Conformity Assessment and Safety Certification</em> [Online], (2 September 2019)