Le moteur de recherche
des thèses françaises
Ahmed Bouajjani
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Vérification
Logiciels -- Vérification
Automates
Méthodes formelles (informatique)
Vérification formelle
Model checking
Systèmes distribués
Audit informatique
Traitement réparti
Interprétation abstraite
Systèmes concurrents
Logique informatique
Systèmes paramétrés
Automates à pile
Concurrence
Architecture -- Informatique
Logique
Technique d'abstraction
Logiques multi-valuées