FMICS Best Paper award

Prize: Other › Career, 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"
Awarded date4 Sept 2018
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

    Fingerprint

Related content