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: 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID

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

Links Úteis

Ajuda

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