Tese de doutoramento Acesso aberto

Safety verification for ROS software

Verificação de propriedades de correção em ROS
Autor(es)
Orientador(es)

Ficheiros

Tese André Filipe dos Santos.pdf (12.27 MB)

Embargo

Tipo de Documento

Tese de doutoramento

Idioma

Coleções

BUM - Teses de doutoramento | Doctoral thesis
A carregar...
Ver registo completo
UM