Navegando por Autor Lázaro, Felipe da Silva
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 |