Best Paper award

Prijs: AndersWerk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)Wetenschappelijk

Omschrijving

Best Paper award for the paper "Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset"
Mate van erkenningInternationaal
OrganisatiesEuropean Research Consortium for Informatics and Mathematics

Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.)

event23rd International Conference on Formal Methods for Industrial Critical Systems, FMICS 2018
locationMaynooth, Ierland
Periode3 sep 2018 → 4 sep 2018