Publications
Thierry Lecomte. Standardisation considerations for autonomous train control. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Practice [...] nal Publishing. ISBN 978-3-031-04673-5 2021 Jan Peleska, Niklas Krafczyk, Anne E. Haxthausen, and Ralf Pinger. Efficient data validation for geographical interlocking systems. Formal Aspects Comput., 33 [...] 7 2020 Jan Peleska. New distribution paradigms for railway interlocking. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Applications