Automated validation and verification of railway specific components and systems.
From MaRDI portal
Publication:3521179
zbMATH Open1144.90358MaRDI QIDQ3521179FDOQ3521179
Authors: Sebastian Kinder 
Publication date: 21 August 2008
Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-7043-8
Recommendations
- Case study: Formal verification of a computerized railway interlocking
- A formal approach for the construction and verification of railway control systems
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
- Automated Verification of Signalling Principles in Railway Interlocking Systems
- scientific article; zbMATH DE number 1324647
Cited In (4)
- A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems
- Automated Verification of Signalling Principles in Railway Interlocking Systems
- A formal approach for the construction and verification of railway control systems
- Formal modeling and verification for MVB
This page was built for publication: Automated validation and verification of railway specific components and systems.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3521179)
