Production year

Researcher identifiers

Number of documents

1


Ghita Jalal   

Conference papers1 document

  • Chouh Hamza, Callon Charlotte, Jalal Ghita, Frédéric Boulanger, Safouan Taha. Modeling and Verification of Redundancy Policies. ACESMB 2013, Sep 2013, MIAMI, United States. 10p. ⟨hal-00905551⟩