Domain-specific modelling of railway control systems with integrated verification and validation
2010
VIII, 446 S. , 240 mm x 170 mm, 910 gr.
Theses
English , German
Automated validation and verification of railway specific components and systems
Tema Archive | 2008
|Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
British Library Conference Proceedings | 2019
|