Réunion Geccoo
Grenoble
23 janvier 2004
1 Participants
Francoise Bellegarde
Didier Bert
Sylvain Boulmé
Fabrice Bouquet
Lilian Burdy
Sylvain Conchon
Evelyne Contejean
Fredéric Dadeau
Jean-Christophe Filliâtre
Julien Groslambert
Olga Kouchnarenko
Marieke Huisman
Claude Marché
Christine Paulin
Marie-Laure Potet
Silvio Ranise
Nicolas Stouls
2 Programme
-
10h00
- Accueil café
- 10h45
- Point sur les outils
- 11h45
- Etude de cas : Demoney
Transparents postscript
Christine Paulin
- 14h
- Enforcing high-level security properties using JML
Transparents pdf
Marieke Huisman
Rapport de Recherche
Enforcing High-Level Security Properties For Applets,
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
- 15h
- Contribution au raffinement
Françoise Bellegarde
- 17h
- Fin de la réunion
This document was translated from LATEX by
HEVEA.