1
Assuntos:
“...Verificação simbólica de modelos...”
Formal verification applied to attitude control software of unmanned aerial vehicles
Dissertação
2
Assuntos:
“...Verificação simbólica de modelos - sistemas...”
Síntese de supervisores através de verificação de modelo.
Dissertação