Browsing by Author Barbosa, Raul André Brajczewski
Results 15 to 17 of 17
previous
Issue Date | Title | Author(s) | Type | Access |
---|---|---|---|---|
1-Feb-2019 | Validation of Smart Contracts through Automated Tooling | Conceição, Tomás Morgado de Carvalho | masterThesis | openAccess |
23-Jul-2020 | Verifiable artificial intelligence. A case study in emergency hospital patients risk assessment | Martins, João Pedro Damas | masterThesis | openAccess |
9-Sep-2014 | Vi2ion: Aplicação Móvel para Protótipo Second Screen | Geria, Eloi Jose de Almeida | masterThesis | openAccess |