A CPN/B method transformation framework for railway safety rules formal validation
EUROPEAN TRANSPORT RESEARCH REVIEW ; 9 , 2 ; 1-15
2017-01-01
15 pages
Article (Journal)
English
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 Archive | 2008
|A Railway Demonstrator for experimental Validation of formal Specifications
British Library Conference Proceedings | 2003
|