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
Granting OrganisationsEuropean Research Consortium for Informatics and Mathematics

Awarded at event

Event title23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
LocationMaynooth, Ireland
Period3 Sep 2018 → 4 Sep 2018