Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems

Magnien, A, Cecchetti, G, Ruscelli, AL et al. (3 more authors) (2022) Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems. In: Lecture Notes in Computer Science: RSSRail: International Conference on Reliability, Safety, and Security of Railway Systems. RSSRail 2022: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 01-02 Jun 2022, Paris, France. Springer . ISBN 978-3-031-05813-4

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2022 Springer Nature Switzerland AG. This is an author produced version of a conference paper published in Lecture Notes in Computer Science: RSSRail: International Conference on Reliability, Safety, and Security of Railway Systems. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: Computers; Railway Traffic Management System; Common Data Model; Model transformation; Context-free grammar
Dates:
  • Accepted: 31 March 2022
  • Published: 20 May 2022
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Environment (Leeds) > Institute for Transport Studies (Leeds) > ITS: Spatial Modelling and Dynamics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 25 May 2022 10:50
Last Modified: 20 May 2023 00:13
Status: Published
Publisher: Springer
Identification Number: https://doi.org/10.1007/978-3-031-05814-1_3

Export

Statistics