Gustav Zickert, Nikitas Stathatos. Halfway Generic Verification of Railway Control Systems. In Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Volume 14198 of Lecture Notes in Computer Science, pages 178-189, Springer, 2023. [doi]
Abstract is missing.