Lifo - Laboratoire d'Informatique Fondamentale d'orléans Université d'Orléans université d'Orléans ENSI Bourges ENSI Bourges

Lifo > Les Actions de Recherche du LIFO > Action de Recherche : RNTL OADymPPaC

 English Version



Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37



RNTL OADymPPaC : Outils pour l'Analyse Dynamique et la mise au Point de Programmes avec Contraintes

OADymPPaC est un projet RNTL de 3 ans qui a debuté le 19 novembre 2000.

Participants

Gérard FERRAND

Willy LESAINT

Alexandre TESSIER (Responsable scientifique)

Page web de l'action

http://contraintes.inria.fr/OADymPPaC/