DFT modeling approach for operational risk assessment of railway infrastructure
Weik, Norman (Corresponding author); Volk, Matthias; Katoen, Joost-Pieter; Nießen, Nils
Berlin : Springer (2022)
Beitrag zu einem Tagungsband, Fachzeitschriftenartikel
In: International journal on software tools for technology transfer : STTT
Band: 24
Heft: 3
Seite(n)/Artikel-Nr.: 331-350
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]
Identifikationsnummern
- DOI: 10.1007/s10009-022-00652-4
- DOI: 10.18154/RWTH-2022-03635
- RWTH PUBLICATIONS: RWTH-2022-03635