Best Paper Award bei FMICS für Matthias Volk, Norman Weik, Joost-Pieter Katoen und Nils Nießen
12.09.2019
Die Veröffentlichung “A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas” von Matthias Volk, Norman Weik, Joost-Pieter Katoen und Nils Nießen wurde zum "Best Paper" ernannt bei der has 24t. international Konferenz on Formal Methods for Industrial-Critical Systems (FMICS 2019), Amsterdam, Niederlande.