Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems

Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock 0001. Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Asp. Comput., 35(1), March 2023. [doi]

Abstract

Abstract is missing.