Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > NGUYEN Huu Nghia
About LRI
Mr NGUYEN Huu Nghia

Warning: this member left the laboratory on 31/12/2014
 
NGUYEN Post-doctorant
Université Paris-Sud
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 39/PCRI-S

Personal web page : http://www.lri.fr/~nhnghia/
Email : Huu-Nghia.Nguyen@lri.fr

Research activities
   - Formal Model-Based Testing










Ph.D. dissertations & Faculty habilitations
Ph.D   - A symbolic approach for the verification and the testing of service choreographies

Contracts & Grants
   - DATE