Gustavo Petri
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Ordinateurs -- Mémoires
Multiprocesseurs
Architecture des ordinateurs
Systèmes distribués
Réplication
Vérification formelle
Sûreté et disponibilité
Types de données répliqués
Verrous distribués
Traitement réparti
Systèmes informatiques -- Mesures de sûreté
Vérification de modèles (informatique)