Title.
Accueil Partenaires Tâches Réunions Dissémination


Réunions plénières :

  • Réunion de lancement : 27 Août 2014, Grenoble
  • Réunion plénière, synthèse et organisation : 18 Décembre 2014, Grenoble
  • Réunion plénière, synthèse et organisation : 20 Avril 2015, Rousset
  • Revue de fin de première année : 27 Août 2015, Grenoble
  • Réunion de travail : 1er Mars 2016, Grenoble (avancement des partenaires + journée dédiée aux travaux liés à la synthèse de haut niveau)
  • Revue de fin de deuxième année : 9 Novembre 2016, Grenoble
  • Revue de fin de troisième année : 6 Décembre 2017, Grenoble
Sessions de formation (SP5) :
  • Session de formation à la méthode d'injection de fautes par émulation développée à TIMA : 6 Février 2015, Grenoble
  • Session de formation à la méthode de vérification de propriétés "système" développée à TIMA : 30 Avril 2015, Grenoble
  • Session de formation à la synthèse de haut niveau et à l'outil GAUT développé au Lab-STICC : 1er Mars 2016, Grenoble
  • Réunion d'échange sur les outils Lab-STICC et TIMA : 14 Décembre 2017, Grenoble