1
Assuntos:
“...Verificação e validação de software...”
Applying formal verification techniques to embedded software in UAV design
Dissertação
2
Assuntos:
“...Verificação e validação de software...”
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Dissertação