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: Rafael Braga da Costa ; José Creissac Campos ;
PUBLISHED: 2023, SOURCE: 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023 in Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part II, VOLUME: 14143
INDEXED IN: Scopus DBLP CrossRef Unpaywall
2
TITLE: Verification of railway network models with EVEREST
AUTHORS: João Martins; José M Fonseca; Rafael Costa ; José Creissac Campos ; Alcino Cunha ; Nuno Macedo ; José N Oliveira ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall

A place for researchers and their institutions

Useful Links

Get Help

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