Best paper de FMICS-AVoCS attribué à Étienne André

Étienne André a reçu le best paper award à FMICS-AVoCS 2017 (International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems) pour son article A unified formalism for monoprocessor schedulability analysis under uncertainty.