OVADO: Enhancing Data Validation for Safety-Critical Railway Systems
Reliability, safety, and security of railway systems ; 2017 ; Pistoia, Italy
01.01.2017
12 pages
Aufsatz (Konferenz)
Unbekannt
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
An automatic SPIN validation of a safety critical railway control system
Tema Archiv | 2000
|British Library Conference Proceedings | 2012
|Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
British Library Conference Proceedings | 2014
|European Standards for Safety-Critical Railway Signaling Systems
British Library Conference Proceedings | 2006
|