Verifying Safety of Fault-Tolerant Distributed Components - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Verifying Safety of Fault-Tolerant Distributed Components

Rabéa Ameur-Boulifa
Télécom ParisTech
Raluca Halalai
  • Fonction : Auteur
  • PersonId : 909501
Facultatea de Litere - Faculté des lettres
Ludovic Henrio
Active objects, semantics, Internet and security
CV
Eric Madelaine
Active objects, semantics, Internet and security

Domaines

Informatique [cs]

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 : lundi 26 février 2024-11:22:07

Fichier non déposé

Dates et versions

hal-02989105 , version 1 (05-11-2020)

Identifiants

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM CNRS INRIA I3S PARISTECH INRIA2 UNIV-COTEDAZUR LTCI COMELEC LABSOC
50 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More