Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > VOISIN Frédéric
Présentation
M. VOISIN Frédéric
VOISIN Maître de Conférence Hors Classe
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169156540
Fax :
Bureau : 63/PCRI-S

Page personnelle : http://www.lri.fr/~fv
Courrier électronique : Frederic.Voisin@lri.fr

Activités de recherche
   - Test formel basé sur les modèles








Logiciels et brevets
   - AuGuSTe : Test statistique de programmes C



Participations à des contrats
   - Paral-ITP