Outils pour utilisateurs

Outils du site


recherche:projets:syncomp:accueil

Différences

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

Lien vers cette vue comparative

Prochaine révision
Révision précédente
recherche:projets:syncomp:accueil [2015/03/31 11:37]
tigli créée
recherche:projets:syncomp:accueil [2015/07/02 10:59] (Version actuelle)
ressouche
Ligne 1: Ligne 1:
 ==== Projet SYNCOMP ==== ==== 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 Rainbow : Jean-Yves Tigli, Stéphane Lavirotte
 +
 STARS : Annie Ressouche ​ STARS : Annie Ressouche ​
 +
 LEAT : Daniel Gaffe LEAT : Daniel Gaffe
 +
 ESPRIT R&D : Ines Sarray ​ 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. ​
recherche/projets/syncomp/accueil.1427794643.txt.gz · Dernière modification: 2015/03/31 11:37 par tigli