Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
Crossref DOI link: https://doi.org/10.1007/s10009-019-00542-2
Published Online: 2019-10-10
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Tueno Fotso, Steve Jeffrey
Frappier, Marc
Laleau, RĂ©gine
Mammar, Amel
Text and Data Mining valid from 2019-10-10
Version of Record valid from 2019-10-10
Article History
First Online: 10 October 2019