Next: PAMPA
Up: Autres centres INRIA
Previous: LSP
Les interactions avec le projet META2 (INRIA Rocquencourt)
sont bilatérales.
Tout d'abord, nous avons déjà utilisé le formalisme (max,+), qui a
été développé par leur équipe, pour écrire des algorithmes
efficaces de simulation de systèmes à événements discrets
synchronisés. On peut aussi faire appel à leur expertise algébrique
pour aider à poser de façon adéquate et unifiée des problèmes
de simulation et de contrôle.