Best Paper award

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

Description

Best Paper award for the paper "Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset"
Degree of recognitionInternational
OrganisationsEuropean Research Consortium for Informatics and Mathematics

Career, activity or publication related prizes (lifetime, best paper, poster etc.)

Awarded at event23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
LocationMaynooth, Ireland
Period3 Sep 2018 → 4 Sep 2018