Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Toccata
FVOOS

Contrat europeen
Mai 2008 - Avril 2011

Equipe : Toccata
Responsable : MARCHÉ Claude

Gestionnaire : 
Organisme gérant : INRIA

Formal Verification of Object-Oriented Programs



Activités de recherche
  Preuve de programme
  Programmation orientée objet
  Méthodes Formelles de Génie Logiciel

Membres LRI


Pour en savoir plus : http://www.cost-ic0701.org/
Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR