2019

Dillmann, Stefan ; Hähnle, Reiner
Hrsg.: Dutilleul, Simon Collart ; Lecomte, Thierry ; Romanovsky, Alexander B. (2019)
Automated Planning of ETCS Tracks.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019. Lille, France (04.06.2019-06.06.2019)
doi: 10.1007/978-3-030-18744-6_5
Konferenzveröffentlichung, Bibliographie

2017

Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Fantechi, Alessandro ; Lecomte, Thierry ; Romanovsky, Alexander B. (2017)
Deductive Verification of Railway Operations.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings.
doi: 10.1007/978-3-319-68499-4_9
Konferenzveröffentlichung, Bibliographie