FMICS Best Paper award

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


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, IrelandShow on map
Period3 Sept 2018 → 4 Sept 2018