Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining

Berger, Philipp; Lenze, Wiebke; Noll, Thomas (Corresponding author); Schotten, Simon; Büker, Thorsten; Fietze, Mario; Kogel, Bastian

Cham : Springer (2022)
Buchbeitrag, Beitrag zu einem Tagungsband

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
Seite(n)/Artikel-Nr.: 121-133

Einrichtungen

• Fachgruppe Informatik [120000]
• Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) [121310]
• Lehrstuhl für Schienenbahnwesen und Verkehrswirtschaft und Verkehrswissenschaftliches Institut [313110]