TU Darmstadt / ULB / TUbiblio

Formal modeling and analysis of railway operations with active objects

Kamburjan, Eduard and Hähnle, Reiner and Schön, Sebastian (2018):
Formal modeling and analysis of railway operations with active objects.
In: Science of Computer Programming, pp. 167-193, 166, DOI: 10.1016/j.scico.2018.07.001, [Online-Edition: https://doi.org/10.1016/j.scico.2018.07.001],
[Article]

Item Type: Article
Erschienen: 2018
Creators: Kamburjan, Eduard and Hähnle, Reiner and Schön, Sebastian
Title: Formal modeling and analysis of railway operations with active objects
Language: German
Journal or Publication Title: Science of Computer Programming
Volume: 166
Divisions: 13 Department of Civil and Environmental Engineering Sciences
13 Department of Civil and Environmental Engineering Sciences > Institutes of Transportation
13 Department of Civil and Environmental Engineering Sciences > Institutes of Transportation > Institute for Railroad Systems and Technology
20 Department of Computer Science
20 Department of Computer Science > Software Engineering
Date Deposited: 12 Feb 2019 16:36
DOI: 10.1016/j.scico.2018.07.001
Official URL: https://doi.org/10.1016/j.scico.2018.07.001
Export:

Optionen (nur für Redakteure)

View Item View Item