Automated validation and verification of railway specific components and systems
2008
159 S. , 21 cm
Theses
German
Automated validation and verification of railway specific components and systems
Tema Archive | 2008
|Validation of Railway Interlocking Systems by Formal Verification, A Case Study
British Library Conference Proceedings | 2014
|