TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2016
Anzahl der Einträge: 1.
2016
Kamburjan, Eduard ; Hähnle, Reiner
Hrsg.: Artho, Cyrille ; Ölveczky, Peter Csaba (2016)
Uniform Modeling of Railway Operations.
Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers.
doi: 10.1007/978-3-319-53946-1_4
Konferenzveröffentlichung, Bibliographie