Aller au contenu principal
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
Nom d'utilisateur
*
Mot de passe
*
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