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

Heidelberg / Springer (2019) [Buchbeitrag, Beitrag zu einem Tagungsband]

Formal Methods for Industrial Critical Systems (FMICS), Lecture notes in computer science, 11687
Seite(n): 40-58

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern