Klaus Reichl

According to our database, Klaus Reichl authored at least 4 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.

Michael J. Butler, Thai Son Hoang, Alexander Raschke, Klaus Reichl

Int. J. Softw. Tools Technol. Transf., 2020

2018

The Hybrid ERTMS/ETCS Level 3 Case Study.

Thai Son Hoang, Michael J. Butler, Klaus Reichl

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Formal Modelling Techniques for Efficient Development of Railway Control Products.

Michael J. Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin F. Snook, Peter Tummeltshammer

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

2016

Using Formal Methods for Verification and Validation in Railway.

Klaus Reichl, Tomas Fischer, Peter Tummeltshammer

Proceedings of the Tests and Proofs - 10th International Conference, 2016