Klaus Reichl

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
Int. J. Softw. Tools Technol. Transf., 2020

2018
The Hybrid ERTMS/ETCS Level 3 Case Study.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017
Formal Modelling Techniques for Efficient Development of Railway Control Products.
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.
Proceedings of the Tests and Proofs - 10th International Conference, 2016


  Loading...