Publicações

Verification of Railway Network Models with Everest

AuthID
P-00X-BH8

Author(s)

Martins, J

Fonseca, JM

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