Automated validation and verification of railway specific components and systems.

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

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25)

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)

• Automated Verification of Signalling Principles in Railway Interlocking Systems
• A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control 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)