Stepwise development and model checking of adistributed interlocking system using RAISE
Crossref DOI link: https://doi.org/10.1007/s00165-020-00507-2
Published Print: 2021-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Geisler, S. http://orcid.org/0000-0003-4806-2043
Haxthausen, A. E.
Text and Data Mining valid from 2021-01-01
Version of Record valid from 2021-01-01
Article History
Received: 9 July 2019
Accepted: 22 January 2020
First Online: 21 February 2020