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)
01.01.2019
18 pages
Aufsatz (Konferenz)
Unbekannt
© 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 Archiv | 2008
|