Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

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

Email: contact.lifo
Tel: +33 (0)2 38 41 99 29
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/