Kamburjan, Eduard ; Hähnle, Reiner ; 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]
URL / URN: https://doi.org/10.1016/j.scico.2018.07.001
| Item Type: | Article |
|---|---|
| Erschienen: | 2018 |
| Creators: | Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian |
| Title: | Formal modeling and analysis of railway operations with active objects |
| Language: | English |
| Journal or Publication Title: | Science of Computer Programming |
| Volume of the journal: | 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 |
| URL / URN: | https://doi.org/10.1016/j.scico.2018.07.001 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum