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
doi: 10.1016/j.scico.2018.07.001
Artikel, Bibliographie
URL / URN: https://doi.org/10.1016/j.scico.2018.07.001
| Typ des Eintrags: | Artikel |
|---|---|
| Erschienen: | 2018 |
| Autor(en): | Kamburjan, Eduard ; Hähnle, Reiner ; Schön, Sebastian |
| Art des Eintrags: | Bibliographie |
| Titel: | Formal modeling and analysis of railway operations with active objects |
| Sprache: | Englisch |
| Publikationsjahr: | 15 November 2018 |
| Verlag: | Elsevier |
| Titel der Zeitschrift, Zeitung oder Schriftenreihe: | Science of Computer Programming |
| Jahrgang/Volume einer Zeitschrift: | 166 |
| DOI: | 10.1016/j.scico.2018.07.001 |
| URL / URN: | https://doi.org/10.1016/j.scico.2018.07.001 |
| Fachbereich(e)/-gebiet(e): | 13 Fachbereich Bau- und Umweltingenieurwissenschaften 13 Fachbereich Bau- und Umweltingenieurwissenschaften > Verbund Institute für Verkehr 13 Fachbereich Bau- und Umweltingenieurwissenschaften > Verbund Institute für Verkehr > Institut für Bahnsysteme und Bahntechnik 20 Fachbereich Informatik 20 Fachbereich Informatik > Software Engineering |
| Hinterlegungsdatum: | 12 Feb 2019 16:36 |
| Letzte Änderung: | 28 Sep 2020 07:24 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum