Publications

Verification of Railway Network Models with Everest

AuthID
P-00X-BH8

Author(s)

Martins, J

Fonseca, JM

Editor(s)

Syriani,E;Sahraoui,HA;Bencomo,N;Wimmer,M

Document Type

Proceedings Paper

Year published

2022

Published

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

Pages: 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