Crossmark

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B

Crossref DOI link: https://doi.org/10.1007/978-3-030-00856-7_21

Published Online: 2018-09-13

Published Print: 2018

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

Authors

Ait Wakrime, Abderrahim

Ben Ayed, Rahma

Collart-Dutilleul, Simon

Ledru, Yves

Idani, Akram
License Information

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

Conference Information

Conference Acronym: MEDI

Conference Name: International Conference on Model and Data Engineering

Conference City: Marrakesh

Conference Country: Morocco

Conference Year: 2018

Conference Start Date: 24 October 2018

Conference End Date: 26 October 2018

Conference Number: 8

Conference ID: medi2018

Conference URL: http://medi2018.uca.ma/