Skip to Main content Skip to Navigation
Conference papers

Verifying Safety of Fault-Tolerant Distributed Components

Rabéa Ameur-Boulifa 1 Raluca Halalai 2 Ludovic Henrio 3 Eric Madelaine 3
3 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02989105
Contributor : Rabéa Ameur-Boulifa Connect in order to contact the contributor
Submitted on : Thursday, November 5, 2020 - 9:08:00 AM
Last modification on : Friday, January 8, 2021 - 11:14:19 AM

Identifiers

Citation

Rabéa Ameur-Boulifa, Raluca Halalai, Ludovic Henrio, Eric Madelaine. Verifying Safety of Fault-Tolerant Distributed Components. Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Sep 2011, Oslo, Norway. pp.278--295, ⟨10.1007/978-3-642-35743-5_17⟩. ⟨hal-02989105⟩

Share

Metrics

Record views

51