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