http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Berger, PhilippRWTH* ; Lenze, WiebkeRWTH* ; Noll, Thomas (Corresponding author)RWTH* ; Schotten, Simon ; Büker, Thorsten ; Fietze, Mario ; Kogel, BastianRWTH*
In
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman, Seiten/Artikel-Nr: 121-133
2022
Konferenz/Event:27. International Conference Formal Methods for Industrial Critical Systems
, Warsaw , Poland , FMICS 2022 , 2022-09-14 - 2022-09-15
ImpressumCham : Springer
Umfang121-133
ISBN978-3-031-15007-4, 978-3-031-15008-1, 978-3-031-15009-8
ReiheLecture notes in computer science ; 13487
Online
DOI: 10.1007/978-3-031-15008-1_9
10.1007/978-3-031-15008-1_9
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
- Lehrstuhl für Schienenbahnwesen und Verkehrswirtschaft und Verkehrswissenschaftliches Institut (313110)
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85137991911
WOS Core Collection: WOS:000876873100009
Interne Identnummern
RWTH-2022-09319
Datensatz-ID: 854106
Beteiligte Länder
Germany
