Especificação e verificação formal de requisitos para sistemas de tráfego aéreo (2018)
Unidade: EPAssunto: TRÁFEGO AÉREO
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: 30 jun. 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 jun. 30 ] 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 jun. 30 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-04102018-135028/