Aller au contenu principal
Accueil
GDR GPL

Menu principal

  • Home
  • Le GDR GPL
  • Actions en cours
  • Groupes
  • Ecoles
  • Journées Nationales
  • A la Une
  • Toutes les annonces

Vous êtes ici

Accueil » Groupes

Actualité AFSEC

Journée commune AFSEC-SED
Réunion commune GT AFSEC (Approches Formelles des Systèmes Embarqués Communicants) et IE (Ingénierie des Exigences)
Journée commune des GT AFSEC et IE le 6 avril 2022 à Nantes
Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017
Journée “Parametric Analyses of Concurrent Systems” le 26 mai 2016

Menu principal

  • Home
  • Le GDR GPL
  • Actions en cours
  • Groupes
    • AFSEC
      • Description AFSEC
      • Actualité AFSEC
    • CLAP
    • Debugging
    • Eco-Resp
    • GLIA
    • GL_Sec
    • HiFi
    • IDM
    • IE
    • LVP
    • MTV2
    • VL
    • YODA
    • Anciens groupes de travail
  • Ecoles
  • Journées Nationales
  • A la Une
  • Toutes les annonces

Connexion utilisateur

  • Demander un nouveau mot de passe

Vendredi, Décembre 1

  • «
  • »
l m m j v s d
 
 
 
 
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
13
 
14
 
15
 
16
 
17
 
18
 
19
 
20
 
21
 
22
 
23
 
24
 
25
 
26
 
27
 
28
 
29
 
30
 
31
 
  • Journées Francophones des Langages Applicatifs 2024 (JFLA 2024)
    30/01/2024 to 02/02/2024
  • Développement logiciel à l’aune des LLMS - 30 janvier 2024
    30/01/2024
  • Journées Nationales 2024
    03/06/2024 to 07/06/2024

Mentions légales

Conditions Générales d'Utilisation

AFSEC

AFSEC : Approches Formelles des Systèmes Embarqués Communicants

  • Description de l'action AFSEC
  • Actualités de l'action AFSEC

Tags:

  • Groupe
Propulsé par Drupal