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.
Theses
English , German
Automated validation and verification of railway specific components and systems
Tema Archive | 2008
|Verification and Validation of Railway Control Systems Using an Expert System
Springer Verlag | 2018
|