A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
Crossref DOI link: https://doi.org/10.1007/s10009-019-00543-1
Published Online: 2019-10-26
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mammar, Amel
Frappier, Marc
Tueno Fotso, Steve Jeffrey
Laleau, RĂ©gine
Text and Data Mining valid from 2019-10-26
Version of Record valid from 2019-10-26
Article History
First Online: 26 October 2019