Hélène Waeselynck
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Systèmes autonomes
Test
Sûreté de fonctionnement
Apprentissage automatique
Génie logiciel
Simulation
Robots autonomes
Tolérance aux fautes
Moniteur de sécurité
Test passif
Méthodes formelles (informatique)
Génération de tests
Satisfaction de contraintes
Oracle
Indéterminisme
Systèmes virtuels (informatique)
Structures de données (informatique)
Réseaux neuronaux profonds
Incertitude