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

In: International journal on software tools for technology transfer : STTT
Volume: 24
Issue: 3
Page(s)/Article-Nr.: 331-350


  • 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]