GDR GPL - AFSEC https://gdr-gpl.cnrs.fr/taxonomy/term/24 fr Journée commune AFSEC-SED https://gdr-gpl.cnrs.fr/node/516 Wed, 29 Mar 2023 13:32:56 +0000 Loig.Jezequel 516 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/516#comments Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences) https://gdr-gpl.cnrs.fr/node/484 Fri, 04 Feb 2022 05:52:56 +0000 Mireille.Blay 484 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/484#comments Journée commune des GT AFSEC et IE le 6 avril 2022 à Nantes https://gdr-gpl.cnrs.fr/node/479 Thu, 03 Feb 2022 21:38:15 +0000 Regine.Laleau 479 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/479#comments Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017 https://gdr-gpl.cnrs.fr/node/282 Mon, 24 Apr 2017 15:07:58 +0000 Claire.Pagetti 282 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/282#comments Journée “Parametric Analyses of Concurrent Systems” le 26 mai 2016 https://gdr-gpl.cnrs.fr/node/234 Thu, 28 Apr 2016 09:53:54 +0000 Olivier.Roux 234 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/234#comments Journée “solveurs SMT dans le contexte des systèmes embarqués critiques”. 29 Mars 2016 https://gdr-gpl.cnrs.fr/node/227 Mon, 07 Mar 2016 09:17:34 +0000 Claire.Pagetti 227 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/227#comments Bourses pour participer à l'école d'été Temps-Réel https://gdr-gpl.cnrs.fr/node/168 Mon, 13 Apr 2015 07:48:07 +0000 Laurence.Duchien 168 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/168#comments Journée “méthodes formelles et processus métier” https://gdr-gpl.cnrs.fr/node/151 Wed, 10 Sep 2014 15:32:42 +0000 Olivier.Roux 151 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/151#comments Section 6 du CoNRS - CR session de printemps 2013 https://gdr-gpl.cnrs.fr/node/91 Fri, 19 Jul 2013 12:09:00 +0000 Laurence.Duchien 91 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/91#comments Contribution d’Allistene et des Pôles de competitivité à la Stratégie Nationale de Recherche Sciences et Technologie du Numérique https://gdr-gpl.cnrs.fr/node/90 Thu, 18 Jul 2013 11:29:18 +0000 Laurence.Duchien 90 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/90#comments Création du compte twitter @GdrGPL https://gdr-gpl.cnrs.fr/node/87 Thu, 27 Jun 2013 12:46:55 +0000 Laurence.Duchien 87 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/87#comments