next up previous
Next: Sous-projet: Spécifications formelles Up: Sous-projet Représentation de Previous: Etat d'avancement

Relation Nationales et Internationales

Ces travaux sont utilisés dans diverses applications en collaboration avec des industriels

- Presage: (collaboration CNET(Paris)-LGI2P) "Un environnement orienté objet pour la modélisation de réseaux de télécommunication" que nous développons à la section 3.3.

- Leopard: (collaboration CNET(Robinson)-LGI2P "Extension de la base de donnée VERSANT à la prise en compte d'objets complexes évolutifs sous contraintes".