Vous êtes ici

PDOC-DTIS-2023-05

DTIS
Toulouse
À Pourvoir
Mots-clés: 
Certification of multi-core platforms, real-time systems, formal modelling and analysis
Intitulé: 
Interference analysis for hybrid architectures
Contact: 
benjamin.lesage@onera.fr claire.pagetti@onera.fr