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, 166, pp. 167-193. Elsevier, 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
Journal volume: 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: 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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details