Airy Magnien, Gabriele Cecchetti, Anna Lina Ruscelli, Paul Hyde, Jin Liu, Stefan Wegele. Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems. In Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Volume 13294 of Lecture Notes in Computer Science, pages 35-45, Springer, 2022. [doi]
Abstract is missing.