Chaves, L. C., & http://lattes.cnpq.br/9580905200186919. (2018). Formal verification applied to attitude control software of unmanned aerial vehicles. Universidade Federal do Amazonas.
Citação Padrão ChicagoChaves, Lennon Corrêa, and http://lattes.cnpq.br/9580905200186919. Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles. Universidade Federal do Amazonas, 2018.
Citação MLAChaves, Lennon Corrêa, and http://lattes.cnpq.br/9580905200186919. Formal Verification Applied to Attitude Control Software of Unmanned Aerial Vehicles. Universidade Federal do Amazonas, 2018.