Site Archive
Ces pages archivent le site web du GDR GPL de 2008 à mai 2013.
Pour une information à jour sur l'activité du GDR GPL, suivez le lien suivant:
http://gdr-gpl.cnrs.fr
Le GDR GPL
Accueil
Annonces
Documents
Participer au GDR (s'inscrire à la liste de diffusion, ...)
Soutien du GDR GPL
ActionsEnCours
Appel Actions Emergentes 2013
Journées Nationales 2013
...Tous les articles GPL 2013
Défis 2025
...Tous les articles Défis 2025
Prochains événements
Initiative COS Tools
Journées Nationales
Retour sur les journées 2013
Retour sur les journées 2012
Retour sur les journées 2011
Retour sur les journées 2010
Retour sur les journées 2009
Présentation du GDR
Motivation
Objectifs
Organisation
Les autres GDR
Groupes de travail
Compilation
COSMAL
FORWAL
LaMHa
LTP
MFDL
MTV²
RIMEL
Actions Transverses
AFSEC
IDM
Ecoles
EJCP
Autres écoles soutenues par le GDR GPL
TAROT 2012
Statiques
Filtrer par titres
Affichage #
5
10
15
20
25
30
50
100
Tous
#
Titre de l'article
Auteur
Clics
21
Participer au GDR GPL
Yves Ledru
2737
22
Transformations
Mikal Ziane
1696
23
EJCP
Thomas Jensen
2991
24
IDM
Mireille Blay-Fornarino
2724
25
AFSEC
Claude Jard
1773
26
RIMEL
Jean-Marie Favre
2867
27
MTV² - Méthodes de test pour la validation et la vérification
Fatiha Zaidi
3143
28
MFDL
Yamine AIT AMEUR
2966
29
LTP
Pierre Castéran
3046
30
LaMHa
Gaetan Hains
3238
31
FORWAL - Formalismes et Outils pour la Vérification et la Validation
Olga Kouchnarenko
2855
32
COSMAL
Philippe Lahire
3937
33
Relations avec les autres GDR
Yves Ledru
2135
34
Organisation
Yves Ledru
2400
35
Enjeux
Yves Ledru
1244
36
Objectifs
Yves Ledru
1903
37
Motivation
Yves Ledru
2396
«
Début
Précédent
1
2
Suivant
Fin
»
Page 2 sur 2