A CPN/B method transformation framework for railway safety rules formal validation
EUROPEAN TRANSPORT RESEARCH REVIEW ; 9 , 2 ; 1-15
01.01.2017
15 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 388 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A CPN/B method transformation framework for railway safety rules formal validation
Springer Verlag | 2017
|Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO
British Library Conference Proceedings | 2014
|Formal Validation of Interlocking Under Signaling Rules
Springer Verlag | 2021
|Formal validation method and tools for computerized railway interlocking systems
Tema Archiv | 2008
|A Railway Demonstrator for experimental Validation of formal Specifications
British Library Conference Proceedings | 2003
|