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, Elsevier, pp. 167-193, (166), ISSN 0167-6423, DOI: 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: English
Journal or Publication Title: Science of Computer Programming
Number: 166
Publisher: Elsevier
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: 11 Oct 2018 09:19
DOI: 10.1016/j.scico.2018.07.001
Export:

Optionen (nur für Redakteure)

View Item View Item