Login / Signup
Klaus Reichl
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 4
Top Topics
Case Study
Hybrid Learning
Lower Level
Temporal Properties
Top Venues
Int. J. Softw. Tools Technol. Transf.
RSSRail
TAP@STAF
ABZ
</>
Publications
</>
Michael J. Butler
,
Thai Son Hoang
,
Alexander Raschke
,
Klaus Reichl
Introduction to special section on the ABZ 2018 case study: Hybrid ERTMS/ETCS Level 3.
Int. J. Softw. Tools Technol. Transf.
22 (3) (2020)
Thai Son Hoang
,
Michael J. Butler
,
Klaus Reichl
The Hybrid ERTMS/ETCS Level 3 Case Study.
ABZ
(2018)
Michael J. Butler
,
Dana Dghaym
,
Tomas Fischer
,
Thai Son Hoang
,
Klaus Reichl
,
Colin F. Snook
,
Peter Tummeltshammer
Formal Modelling Techniques for Efficient Development of Railway Control Products.
RSSRail
(2017)
Klaus Reichl
,
Tomas Fischer
,
Peter Tummeltshammer
Using Formal Methods for Verification and Validation in Railway.
TAP@STAF
(2016)