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

Item Type: Proceedings Paper
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:
  • Published: 20 May 2022
  • Accepted: 31 March 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: 10.1007/978-3-031-05814-1_3
Open Archives Initiative ID (OAI ID):

Export

Statistics