Rafael Braga Gomes da Costa


AuthID: R-00J-KPY

Publicações Confirmadas: 2



1
TÍTULO: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
AUTORES: da Costa, Rafael Braga ; Campos, Jose Creissac ;
PUBLICAÇÃO: 2023, FONTE: 19th International-Federation-for-Information-Processing-Technical-Committee-13 (IFIP TC13) International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2023, PT II, VOLUME: 14143
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
2
TÍTULO: Verification of railway network models with EVEREST
AUTORES: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLICAÇÃO: 2022, FONTE: MoDELS
INDEXADO EM: Scopus DBLP CrossRef: 2 Unpaywall

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service