Our partners

CNRS

Search





Home page > Français > Départements > Fiabilité des systèmes et des logiciels > Equipe ACADIE > Sujets de stages et thèses

Sujets de stages et thèses

Sujets de thèse

Assistance à la certification d’outils de composition de services
Prédictibilité et efficacité des traitements concurrents dans les systèmes multicoeurs
Validation incrémentale d’architectures de systèmes embarqués. Application au cas de l’avionique