1
Assuntos:
“...Verificação simbólica de modelos...”
Formal verification applied to attitude control software of unmanned aerial vehicles
Dissertação