Stéphane Maag
IdRefMots clés
FR |
EN
Apprentissage automatique
Méthodes formelles (informatique)
Génie logiciel
Tests fonctionnels (informatique)
Qualité de Service (télécommunications)
Protocoles de réseaux d'ordinateurs
Systèmes distribués
Méthodes formelles
Traitement réparti
Qualité expérience (QoE)
Qualité de service (QoS)
Vidéo
Apprentissage artificiel
Fonctions de croyance
Apprentissage par renforcement
Qualité d'expérience (télécommunications)
Meta Modèles
Sémantique Formelles
Isabelle/HOL
Théorèmes -- Démonstration automatique