Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid
Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 8368 ; 221-236
2014-01-01
16 pages
Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal validation method and tools for computerized railway interlocking systems
Tema Archive | 2008
|OVADO: Enhancing Data Validation for Safety-Critical Railway Systems
British Library Conference Proceedings | 2017
|Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
British Library Conference Proceedings | 2008
|Validation of Railway Interlocking Systems by Formal Verification, A Case Study
British Library Conference Proceedings | 2014
|A Railway Demonstrator for experimental Validation of formal Specifications
British Library Conference Proceedings | 2003
|