Hanan El Bakkali
Mots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Vérification formelle
Vérification
Test
Consistance
Concurrence
Consistance séquentielle
Tso
Consistance causale
Systèmes distribués
Vérification de modèles (informatique)
Programmation concurrente
Traitement réparti
Infrastructures critiques
Infrastructures d'informations critiques
IOrBAC
Niveaux d'intégrité
Criticité
Crédibilité
DI-OrBAC