Formalization of operational regulations for railways
Sebastian Schön, Eduard Kamburjan, Andreas Oetting, Reiner Hähnle
- Conference
- hEART 2018: 7th Symposium of the European Association for Research in Transportation (2018)
- Publication year
- 2018
Abstract
Formalization of operational regulations for railways (hEART 2018)
Sebastian Schön 1, Eduard Kamburjan2, Andreas Oetting1, Reiner Hähnle2
Railway Engineering Group, Technische Universität Darmstadt
Software Engineering Group, Technische Universität Darmstadt
How to cite
Sebastian Schön; Eduard Kamburjan; Andreas Oetting; Reiner Hähnle (2018). Formalization of operational regulations for railways. In: hEART 2018: 7th Symposium of the European Association for Research in Transportation.