OVADO: Enhancing Data Validation for Safety-Critical Railway Systems
Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy
2017-01-01
12 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
An automatic SPIN validation of a safety critical railway control system
Tema Archive | 2000
|British Library Conference Proceedings | 2012
|European Standards for Safety-Critical Railway Signaling Systems
British Library Conference Proceedings | 1998
|Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
British Library Conference Proceedings | 2014
|Object code verification for safety-critical railway control systems
Tema Archive | 2007
|