lipn

Laboratoire d'Informatique de Paris Nord

UMR 7030, Université Paris 13, 99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

up13 cnrs

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

Andre FMICS-AVoCS

É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.

pres

w3c-xhtml