Journeys Between Formal Methods and the Railway Industry

Journeys Between Formal Methods and the Railway Industry
Autor
Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032124845
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-12484-5