Rafael Braga Gomes da Costa


AuthID: R-00J-KPY

Confirmed Publications: 2



1
TITLE: Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design
AUTHORS: da Costa, Rafael Braga ; Campos, Jose Creissac ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
2
TITLE: Verification of Railway Network Models with EVEREST
AUTHORS: Martins, J; Fonseca, JM; Costa, R ; Campos, JC ; Cunha, A ; Macedo, N ; Oliveira, JN ;
PUBLISHED: 2022, SOURCE: PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service