Le moteur de recherche
des thèses françaises
Benedikt Bollig
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Logiciels -- Vérification
Vérification
Traitement réparti
Automates
Apprentissage par renforcement (intelligence artificielle)
Vérification formelle
Langages formels
Systèmes distribués
Vérification de modèles (informatique)
Méthodes formelles
Réseaux neuronaux (informatique)
Logique
Connaissances Représentation des
Calcul formel
Analyse par intervalles
Représentation des connaissances
Spécification quantitative
Automates à poids
Systèmes concurrents