Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen. Formal Methods for Distributed Computing in Future Railway Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Application Areas - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V. Volume 15223 of Lecture Notes in Computer Science, pages 109-111, Springer, 2024. [doi]
Abstract is missing.