Communication Dans Un Congrès
Année : 2011
Connectez-vous pour contacter le contributeur
https://hal.science/hal-02989105
Soumis le : jeudi 5 novembre 2020-09:08:00
Dernière modification le : jeudi 30 avril 2026-10:42:02
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
174
Consultations
0
Téléchargements