Journeys Between Formal Methods and the Railway Industry
2026
Requirements Engineering: Foundation for Software Quality
2020
FM 2016: Formal Methods
2016
Critical Systems: Formal Methods and Automated Verification
2016
Formal Methods for Industrial Critical Systems
2012
FME 2003: Formal Methods
2003