next up previous
Next: Applications Industrielles Up: Sous-projet: Spécifications formelles Previous: Etat d'avancement

Relations nationales et internationales

Michel Augeraud,Laboratoire d'Informatique et d'Imagerie Industrielles, Université de La Rochelle.
Roger Rousseau, I3S, Université de Nice Sophia-Antipolis.

Ces travaux sont faits en collaboration avec l'équipe de Dan Chiorean du laboratoire d'informatique de l'Université de CLUJ (Roumanie).