Evenementstitel | 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 |
---|---|
Locatie | Turin, ItaliëToon op kaart |
Periode | 18 sep. 2017 → 20 sep. 2017 |
FMICS-AVoCS Best Paper award
- Groote, Jan Friso (Ontvanger), Wesselink, J.W. (Wieger) (Ontvanger) & Willemse, Tim A.C. (Ontvanger)
Prijs: Anders › Werk, activiteit of publicatie gerelateerde prijzen (lifetime, best paper, poster etc.) › Wetenschappelijk