==== Projet SYNCOMP ====

Projet faisant suite à l' {{http://www-sop.inria.fr/pulsar/projects/SynComp/reunion1.html|action color INRIA SYNCOMP}}

Rainbow : Jean-Yves Tigli, Stéphane Lavirotte

STARS : Annie Ressouche 

LEAT : Daniel Gaffe

ESPRIT R&D : Ines Sarray 

=== Meetings ===

  * [[recherche:projets:syncomp:meetings:meeting310315 |Meeting 310315]]
  * [[recherche:projets:syncomp:meetings:meeting130415 |Meeting 130415]]
  * [[recherche:projets:syncomp:meetings:meeting270415 |Meeting 270415]]
  * [[recherche:projets:syncomp:meetings:meeting300415 |Meeting 300415]]


=== TODO ===

  * Rédiger des sections "ready to copy". Ex. intro à clem. Ex. intro au langage de contrainte ... 
  * Trouver scénario / illustration dans le domaine de la santé (maintien à domicile et assistance aux personnes en perte d'autonomie) 
  * Clarifier l'apport de la composition des moniteurs avec des degrès de modélisation différents.