Accéder directement au contenu

Frédéric Boulanger

1
Documents
Identifiants chercheurs

Présentation

Publications

ghita-jalal

Modeling and Verification of Redundancy Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frédéric Boulanger , Safouan Taha
ACESMB 2013, Sep 2013, MIAMI, United States. 10p
Communication dans un congrès hal-00905551v1