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

Cham / Springer (2019) [Contribution to a book, Contribution to a conference proceedings]

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): 40-58

Authors

Authors

Volk, Matthias
Weik, Norman
Katoen, Joost-Pieter
Nießen, Nils

Identifier