Fault Tolerance from Formal Analysis of a Data Fusion Mechanism - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Fault Tolerance from Formal Analysis of a Data Fusion Mechanism

Fichier principal
Vignette du fichier
IRC2017_Kaci_Bader.pdf (231.18 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02005050 , version 1 (18-06-2021)

Identifiants

Citer

Kaci Bader, Benjamin Lussier, Walter Schön. Fault Tolerance from Formal Analysis of a Data Fusion Mechanism. First IEEE International Conference on Robotic Computing (IRC 2017), Apr 2017, Taichung, Taiwan. pp.69-72, ⟨10.1109/IRC.2017.29⟩. ⟨hal-02005050⟩
81 Consultations
77 Téléchargements

Altmetric

Partager

More