Johnny Marques, Sarasuaty Hayashi, and Lillian Barros. 2019.
Caracterização de Cenários e Garantias de Segurança em Carregamentos de Software Aeronáutico. In Anais do V Workshop de Regulação, Avaliação da Conformidade e Certificação de Segurança, setembro 02, 2019, São Paulo, Brasil. SBC, Porto Alegre, Brasil, 1-10. DOI: https://doi.org/10.5753/wrac.2019.14031.