Browsing by ???browse.type.metadata.advisor??? Queiroz, Max Hering de Orient.
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type |
|---|---|---|---|
| 2018 | Metodologia para desenvolvimento de sistemas de controle e monitoração de navios assistido por Model Checking | Lázaro, Felipe da Silva | masterThesis |