logo EDITE Catherine DUBOIS
Identité
Catherine DUBOIS
État académique
Thèse soutenue
Titulaire d'une HDR (ou équivalent) 2003-12-08
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
0.5
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:13327925591226
Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil Focal
Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'09 2009