Fault Tolerance from Formal Analysis of a Data Fusion Mechanism
Origine : Fichiers produits par l'(les) auteur(s)