Navegando por Orientador Queiroz, Max Hering de Orient.
Mostrando resultados 1 a 1 de 1
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2018 | Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking | Lázaro, Felipe da Silva | masterThesis |