VANT

Aplicação de métodos formais de engenharia de software para produzir uma plataforma de software confiável para o controle de voo de veículos aéreos não tripulados.