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
NO MEU: ORCID
2
TÍTULO: Verification of Railway Network Models with EVEREST
AUTORES: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLICAÇÃO: 2022, FONTE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022
INDEXADO EM: Scopus WOS 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