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

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

doi:10.1007/978-3-030-27008-7_3

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

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

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.), Seiten/Artikel-Nr: 40-58

2019

Konferenz/Event:24. International Conference on Formal Methods for Industrial Critical Systems , Amsterdam , Netherlands , FMICS 2019 , 2019-08-30 - 2019-08-31

ImpressumCham : Springer

Umfang40-58

ISBN978-3-030-27007-0, 978-3-030-27008-7

ReiheLecture notes in computer science ; 11687

Weitere Reihe: Springer eBooks

Online
DOI: 10.1007/978-3-030-27008-7_3
10.1007/978-3-030-27008-7_3

Einrichtungen