IMPLEMENTAÇÃO DE VERIFICAÇÃO AUTOMATIZADA DE REGRAS EM PROJETOS AEROPORTUÁRIOS NA SECRETARIA NACIONAL DE AVIAÇÃO CIVIL (SAC)

Simpósio de Transporte Aéreo (SITRAER) 2026

View at publisher
Authors: Ítalo Guedes, Max Andrade, Gustavo Viana de Sousa Barbosa, Viviane Adriano Falcão, Nakita Naiades Nascimento de Souza, Adriana Lima Rolim, Mariana Emidio Guimarães, Emerson Rodrigues André Melo, Rômulo de Azevedo Gomes, Márcio Costa Fernandes, Flávio Antonio Miranda de Souza, Renata Martins Batista
DOI: 10.29327/9786527220244.1241183
Cited by: 0

Fields of Study & Subjects

Software Testing and Debugging Techniques Engineering and Information Technology Formal Methods in Verification

Publication details

Journal / source
Simpósio de Transporte Aéreo (SITRAER)
Publication date
1 January 2026
Language
PT