Rafael Braga Gomes da Costa


AuthID: R-00J-KPY

Confirmed Publications: 1



1
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

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