Le moteur de recherche
des thèses françaises
Carla Ferreira
IdRefMots clés
FR |
EN
Cohérence (informatique)
Systèmes distribués
Traitement réparti
Cohérence
Base de données répliquée
Synchronisation
Invariant
Analyse statique
Vérification
Logiciels -- Vérification
Base de données
Données massives
Bases de données -- Gestion
Réplication
Vérification formelle
Sûreté et disponibilité
Types de données répliqués
Verrous distribués
Systèmes informatiques -- Mesures de sûreté
Vérification de modèles (informatique)