Efficient Data Validation for Geographical Interlocking Systems
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
01.01.2019
17 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Geographical vs. functional modelling by statecharts of interlocking systems
Tema Archiv | 2004
|COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
British Library Conference Proceedings | 2005
|A new pneumatic interlocking interlocking plant systems
Engineering Index Backfile | 1893
A new pneumatic interlocking interlocking plant systems
Engineering Index Backfile | 1893
Mobile all-relay interlocking of pushbutton geographical circuitry system, type 60
Engineering Index Backfile | 1967
|