FMICS-AVoCS 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

Toegekend op evenement

Evenementstitel22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017
LocatieTurin, ItaliëToon op kaart
Periode18 sep. 2017 → 20 sep. 2017

    Vingerafdruk