David Schneider
Contact Information
Heinrich-Heine-Universität Düsseldorf
Universitätsstraße 1
D-40225 Düsseldorf
Email:
Phone: +49 (211) 81-10537
Fax: +49 (211) 81-10712
Room: 25.12.02.50
Current Courses
You can find proposed theses here.
Publications
2022
2021
2020
2018
- Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.In Proceedings ABZ 2018, Michael Butler and Alexander Raschke and Thai Son Hoang and Klaus Reichl, LNCS, 10817, Springer, 292--306, 2018.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-319-91271-4_20