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
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
Apprentissage par renforcement (intelligence artificielle)
Calcul formel
Analyse par intervalles
Représentation des connaissances
Spécification quantitative
Automates à poids
Systèmes concurrents