A New Formal Methods Guidebook for the Railway Signalling Domain
SmartRaCon Scientific Seminar ; 5. ; 2023 ; Berlin
2023
Aufsatz (Konferenz)
Englisch
Formal methods for railway signalling
Tema Archiv | 1989
|A formal approach to railway signalling
Tema Archiv | 1990
|Application on formal methods to the railway signalling system
IuD Bahn | 2002
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|