logo EDITE Philippe AYRAULT
Identité
Philippe AYRAULT
État académique
Thèse soutenue le 2011-04-22
Sujet: Développement de logiciel critique en Focalize - Méthodologie et outils pour l'évaluation de conformité
Direction de thèse:
Encadrement 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.
Productions scientifiques
edite:1298823141117
Development of a Generic Voter under FoCal
Zurich, Switzerland 2009
Soutenance
Thèse: Développement de logiciel critique en FoCalize - Méthodologie et outils pour l'évaluation de conformité
Soutenance: 2011-04-22
Rapporteurs: Marie-Laure POTET    Claude KIRCHNER