TU Darmstadt / ULB / TUbiblio

Uniform Modeling of Railway Operations

Kamburjan, Eduard and Hähnle, Reiner
Artho, Cyrille and Ölveczky, Peter Csaba (eds.) (2016):
Uniform Modeling of Railway Operations.
In: Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, In: Communications in Computer and Information Science, DOI: 10.1007/978-3-319-53946-1₄, [Online-Edition: https://doi.org/10.1007/978-3-319-53946-1_4],
[Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2016
Editors: Artho, Cyrille and Ölveczky, Peter Csaba
Creators: Kamburjan, Eduard and Hähnle, Reiner
Title: Uniform Modeling of Railway Operations
Language: German
Series Name: Communications in Computer and Information Science
Volume: 694
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Event Title: Formal Techniques for Safety-Critical Systems - 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Date Deposited: 27 Apr 2018 09:59
DOI: 10.1007/978-3-319-53946-1₄
Official URL: https://doi.org/10.1007/978-3-319-53946-1_4
Export:

Optionen (nur für Redakteure)

View Item View Item