Special Features: Signalling & Telecommunications - Application of Formal Methods to the Railway Signalling Systems
Quarterly report of RTRI ; 43 , 4
2002
Article (Journal)
English
BKL: | 55.85 Schienenverkehr |
Formal methods for railway signalling
Tema Archive | 1989
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|Railway signalling and telecommunications systems in Europe
British Library Conference Proceedings | 1998
|