Français Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
CIFRE DASSAULT AVIATION

CIFRE
Feb 2005 - Jan 2008

Group : Verification of Algorithms, Languages and Systems
Principal investigator : MARCHÉ Claude

Administrator : 
Affiliation : Université Paris XI

CIFRE PhD thesis Thierry Hubert



Research activities
  Verification
  Program proof

Participants
MARCHÉ Claude


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT