Safety Verification of Heterogeneous Railway Networks
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
2016-01-01
10 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Object code verification for safety-critical railway control systems
Tema Archive | 2007
|Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
British Library Conference Proceedings | 2017
|Engineering Index Backfile | 1929
|British Library Conference Proceedings | 2001
|