Thierry Lecomte. Formal Validation and ERTMS Simulation. 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 142-158, Springer, 2024. [doi]
Abstract is missing.