Le laboratoire VERIMAG organise un webinaire relatif à "l'analyse temporelle précise et passant à l'échelle pour les plates-formes multicœurs" vendredi 4 juin 2021 de 13h à 17h30. Sébastien Faucou et Jean-Luc Béchennec (équipe STR) assureront le discours d'ouverture et traiteront de la problématoique suivante "Formal models of timed systems: WCET analysis in single-core systems, and some ideas for timing analysis in multi-core systems". Programme complet et inscription.