Research directions regarding the adoption of formal methods in the railway signaling sector: Determinants and next steps for future-proof railways
2020
Aufsatz (Konferenz)
Englisch
Twenty-Five Years of Formal Methods and Railways: What Next?
British Library Conference Proceedings | 2014
|Signaling in electric railway operation of swiss federal railways
Engineering Index Backfile | 1926
|Private Sector Participation in Railway Activities: The Experience of Italian Railways
British Library Online Contents | 1993
|The railway noise research unit within Netherlands Railways
British Library Conference Proceedings | 1994
|