Safety Verification of Heterogeneous Railway Networks
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
01.01.2016
10 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Object code verification for safety-critical railway control systems
Tema Archiv | 2007
|Optimal Pricing for RAP in Heterogeneous Wireless Railway Networks
Springer Verlag | 2020
|Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks
British Library Conference Proceedings | 2017
|IuD Bahn | 2001
|