The changeover to the computerized interlocking system for small station of Central Japan Railway
4th International conference on computer-aided design, manufacture and operation in the railway and other advanced mass transit systems, Railway operations ; 1994 ; Madrid
1994-01-01
8 pages
In 2 vols; Also known as COMPRAIL 94
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Computerized interlocking system for railway signaling control: SMILE
Tema Archiv | 1985
|Formal validation method and tools for computerized railway interlocking systems
Tema Archiv | 2008
|Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
British Library Conference Proceedings | 2008
|Formal validation method for computerized interlocking system
Online Contents | 2012
|