Verification of Railway Network Models with Everest

AuthID
P-00X-BH8
7
Author(s)
Martins, J
·
Fonseca, JM
·
4
Editor(es)
Syriani,E;Sahraoui,HA;Bencomo,N;Wimmer,M
Tipo de Documento
Proceedings Paper
Year published
2022
Publicado
in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, Montreal, Quebec, Canada, October 23-28, 2022 in MoDELS
Páginas: 345-355
Conference
25Th Acm/Ieee International Conference on Model Driven Engineering Languages and Systems, Models 2022, Date: 23 October 2022 through 28 October 2022
Indexing
Publication Identifiers
DBLP: conf/models/MartinsFCCCMO22
SCOPUS: 2-s2.0-85141819780
Unpaywall: 10.1145/3550355.3552439
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.