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)
Contribution to a book, Contribution to a conference proceedings

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.)
Page(s)/Article-Nr.: 40-58


  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 2 (Software Modeling and Verification) [121310]
  • Chair of Railway Engineering and Transport Economics [313110]