Communication Dans Un Congrès
Année : 2011
Rabéa Ameur-Boulifa : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02989105
Soumis le : jeudi 5 novembre 2020-09:08:00
Dernière modification le : mardi 17 septembre 2024-15:48:39
Citer
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⟩
Collections
71
Consultations
0
Téléchargements