Tomas Fischer

Publication Activity (10 Years)

Years Active: 2016-2019
Publications (10 Years): 5

Top Topics

Probabilistic Knowledge

Temporal Properties

Top Venues

Publications

Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS (2019)
Tomas Fischer, Dana Dghaym
Formal Model Validation Through Acceptance Tests. RSSRail (2019)
Colin F. Snook, Thai Son Hoang, Dana Dghaym, Michael J. Butler, Tomas Fischer, Rupert Schlick, Keming Wang
Behaviour-Driven Formal Model Development. ICFEM (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)