| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
13414 | Rafael Braga Gomes Costa | Ass. Convidado | | E-mail
Ext.: +604430 | E7-2.13 |
Qualificações: 2020 - Mestrado integrado em Engenharia Informática (U.Minho) | Página pessoal: |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP | CV |
Publicações selecionadas | - João Martins, José M. Fonseca, Rafael Costa, José Creissac Campos, Alcino Cunha, Nuno Macedo, José N. Oliveira: Verification of railway network models with EVEREST. MoDELS 2022: 345-355
- Rafael Braga da Costa, José Creissac Campos: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design. INTERACT (2) 2023: 504-513
|
Projetos | - BeFlexible (Boosting Engagement to Increase Flexibility), EU H2020 project
|
Docência | Regências: Nenhuma correntemente atribuída | Aulas: - Desenvolvimento de Sistemas de Software [J305N2]: turnos PL 3 e PL 4
- Interface Pessoa-Máquina [J306N1]: turnos PL 4 e PL 5
|
Serviço | S/I |
Departamento de Informática (UM)