logo EDITE Fabien CADORET
Identité
Fabien CADORET
État académique
Thèse soutenue le 2014-05-26
Sujet: Intégration de politiques de sécurité et de sûreté de fonctionnement pour la modélisation, la vérification et la génération de systèmes critiques
Direction de thèse:
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Soutenance
Thèse: Génération stratégique de code pour maîtrise des performances de systèmes temps-réel embarqués.
Soutenance: 2014-05-26