Especificação e verificação formal de requisitos para sistemas de tráfego aéreo (2018)
Aguchiku, Fabio Seiti; Maruyama, Newton (Orientador) 
Assunto: TRÁFEGO AÉREO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
AGUCHIKU, Fabio Seiti. Especificação e verificação formal de requisitos para 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-04102018-135028/. Acesso em: 10 out. 2024.APA
Aguchiku, F. S. (2018). Especificação e verificação formal de requisitos para 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-04102018-135028/NLM
Aguchiku FS. Especificação e verificação formal de requisitos para sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 out. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-04102018-135028/Vancouver
Aguchiku FS. Especificação e verificação formal de requisitos para sistemas de tráfego aéreo [Internet]. 2018 ;[citado 2024 out. 10 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-04102018-135028/
