Crossmark

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model

Crossref DOI link: https://doi.org/10.1007/978-3-030-33223-5_28

Published Online: 2019-10-15

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

de Almeida Pereira, Dalay Israel http://orcid.org/0000-0001-9698-5569
Debbech, Sana http://orcid.org/0000-0002-4003-6505
Perin, Matthieu http://orcid.org/0000-0002-9726-2458
Bon, Philippe

Collart-Dutilleul, Simon
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 15 October 2019

Conference Information

Conference Acronym: ER

Conference Name: International Conference on Conceptual Modeling

Conference City: Salvador

Conference Country: Brazil

Conference Year: 2019

Conference Start Date: 4 November 2019

Conference End Date: 7 November 2019

Conference Number: 38

Conference ID: er2019

Conference URL: http://www.inf.ufrgs.br/er2019/