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

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
Journée “solveurs SMT dans le contexte des systèmes embarqués critiques”. 29 Mars 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

Jeudi, 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 (JFLA) 2023
    31/01/2023 to 03/02/2023

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