Modeling the CBTC Railway System of Siemens with ScOLa
Crossref DOI link: https://doi.org/10.1007/s13177-017-0146-2
Published Online: 2017-07-27
Published Print: 2018-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Issad, Melissa http://orcid.org/0000-0001-7886-5213
Kloul, Leïla
Rauzy, Antoine
Berkani, Karim
Funding for this research was provided by:
CIFRE scholarship with Siemens
License valid from 2017-07-27