Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (2018)
Costa, Rafael Leme; Maruyama, Newton (Orientador) 
Subjects: TRÁFEGO AÉREO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Rafael Leme. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/. Acesso em: 31 maio 2024.APA
Costa, R. L. (2018). Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/NLM
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 maio 31 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/Vancouver
Costa RL. Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 maio 31 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05112018-091509/
