Aller au contenu principal
Accueil
GDR GPL

Menu principal

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

Vous êtes ici

Accueil » Groupes

Actualité AFSEC

Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017
Journée “Parametric Analyses of Concurrent Systems” le 26 mai 2016
Journée “solveurs SMT dans le contexte des systèmes embarqués critiques”. 29 Mars 2016
Bourses pour participer à l'école d'été Temps-Réel
Journée “méthodes formelles et processus métier”

Menu principal

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

Connexion utilisateur

  • Demander un nouveau mot de passe

Mercredi, Septembre 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
 
 
 
 
  • Séminaire CLAP - 23/09/21
    23/09/2021
  • Journée commune des GT IDM et IE le 9 décembre à Toulouse
    09/12/2021

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