Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation
Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)
2019-01-01
18 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Towards Domain-Specific Formal Specification Languages for Railway Control Systems
British Library Conference Proceedings | 2001
|Automated validation and verification of railway specific components and systems
Tema Archive | 2008
|