Projet CORSS
Réunion du sous groupe Système

ACI Sécurité Informatique

Vendredi 5 décembre 2003
INRIA
salle de reunion du batiment 8

Participants: M. Filali, V. Issarny, N. Levy, P. Mauran, G. Padiou, G-F. Tartanoglu,

Matin

Développement de la répartition.
G. Padiou
Services systèmes pour la mobilité
V. Issarny
Formalizing Dependability Mechanisms in B.
G-F. Tartanoglu

Après-midi

Discussions:

Etudes de cas.
Outils et méthodes appropriés.

This document was translated from L^AT_EX by H^EV^EA.