Différences

Ci-dessous, les différences entre deux révisions de la page.

--- recherche:projets:syncomp:accueil [2015/03/31 10:09] – tigli
+++ recherche:projets:syncomp:accueil [2015/07/02 08:59] (Version actuelle) – ressouche
@@ Ligne 1: / Ligne 1: @@
 ==== 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
@@ Ligne 12: / Ligne 14: @@
   * [[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.