Le moteur de recherche
des thèses françaises
Aziz Parosh Abdulla
IdRefMots clés
FR |
EN
Vérification
Vérification de modèles (informatique)
Traitement réparti
Systèmes distribués
Logiciels -- Vérification
Automates temporisés
Automates temporisés et stochastiques
Processus de Markov
Vérification formelle
Test
Consistance
Concurrence
Consistance séquentielle
Tso
Consistance causale
Programmation concurrente
Logiciels
Tests
Systèmes concurrents
Contrôleurs distribués