Catherine Oriat
IdRefMots clés
FR |
EN
Boîte noire
Inférence du modèle
Tests de logiciels
Optimisation
Apprentissage
Machine de Mealy
Modèle
Inférence
Sécurité
Vulnérabilité
Web
Services
Systèmes informatiques -- Mesures de sûreté
Sciences appliquées
Informatique, automatique théorique, systèmes
Théorie catégorie
Langage formel
Sémantique formelle
Algorithme
Isomorphisme