Efficient Data Validation for Geographical Interlocking Systems
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
2019-01-01
17 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Geographical vs. functional modelling by statecharts of interlocking systems
Tema Archive | 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
A new pneumatic interlocking interlocking plant systems
Engineering Index Backfile | 1893