Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > KRIEGER Matthias
Présentation
M. KRIEGER Matthias

ATTENTION : ce membre a quitté le laboratoire le 31/03/2012
 
Doctorant
Université Paris-Saclay
Test Formel et Exploration de Systèmes

Tel : 01 72 92 59 57
Fax :
Bureau : 67/PCRI-S

Page personnelle : http://www.lri.fr/~krieger
Courrier électronique : Matthias.Krieger@lri.fr











Thèses et habilitations
Doctorat   - Test Generation and Animation Based on Object-Oriented Specifications

Participations à des contrats
   - HOL-TestGen XT