Best Paper Award at FMICS for Matthias Volk, Norman Weik, Joost-Pieter Katoen, and Nils Nießen

12/09/2019
  Best Paper Award Copyright: UnRAVeL Best Paper Award

The paper “A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas” by Matthias Volk, Norman Weik, Joost-Pieter Katoen and Nils Nießen has been awarded the best paper award at the 24th International Conference on Formal Methods for Industrial-Critical Systems (FMICS 2019), Amsterdam, The Netherlands.

  Copyright: UnRAVeL