Aller au contenu principal
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
Nom d'utilisateur
*
Mot de passe
*
Demander un nouveau mot de passe
Mardi, Juin 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
École d’été Green IT - Numérique Responsable
28/06/2021
to
02/07/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
