Journeys Between Formal Methods and the Railway Industry
2026
Formal Methods for Industrial Critical Systems
2024
Applicable Formal Methods for Safe Industrial Products
2023
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Theoretical Aspects of Computing - ICTAC 2008
2008