The application of formal methods to the development of an ATP (automatic train protection) system
Colloquium, Communication networks in transportation ; 1995 ; London
1995-01-01
5/3-5/4
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
IuD Bahn | 1998
|Advanced automatic train protection system
British Library Conference Proceedings | 1996
|