Domain-specific modelling of railway control systems with integrated verification and validation
1. Aufl.
2010
VIII, 446 S.
240 mm x 170 mm, 910 gr.
Ill., graph. Darst.
Hochschulschrift
Englisch , Deutsch
Automated validation and verification of railway specific components and systems
Tema Archiv | 2008
|Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
British Library Conference Proceedings | 2019
|