Le moteur de recherche
des thèses françaises
Caterina Urban
IdRefMots clés
FR |
EN
Analyse statique
Interprétation abstraite
Réseaux de neurones
Méthodes formelles
Vérification de logiciels
Terminaison
Fonctions de rang
Propriétés de vivacité
Informatique
Apprentissage supervisé (intelligence artificielle)
Sûreté -- Systèmes
Informatique -- Recherche
Vérification quantitative
Propriétés de sécurité
Robustesse
Évaluation de vulnérabilité
Sécurité
Comptage de modèles
Exécution symbolique
Évaluation des logiciels