Radu Iosif
IdRefMots clés
FR |
CS |
EN
Vérification formelle
Vérification de modèles (informatique)
Logique de séparation
Vérification
Logiciels -- Vérification
Procédure de décision
Solveur
Décidabilité
Complexité
Logique informatique
Séparation (informatique)
Complexité de calcul (informatique)
Reconfiguration
Systèmes distribués
Alternance
Vide
Alphabets Infinis
Alternance de codes (linguistique)
Théorie des langages
Analyse de programmes