A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas

Volk, Matthias (Corresponding author); Weik, Norman; Katoen, Joost-Pieter; Nießen, Nils

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

In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.)
Seite(n)/Artikel-Nr.: 40-58

Einrichtungen

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