Best Paper award

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

Omschrijving

Best Paper award for the paper "Formalising the Dezyne Modelling Language in mCRL2"
Mate van erkenningInternationaal
OrganisatiesSpringer

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

event22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017
locationTurin, Italië
Periode18 sep 2017 → 20 sep 2017

    Vingerafdruk