Sabine Moisan
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Models@run.time
Self-Adaptative
Formal methods
Securité
Véhicules Connectés Autonomes
Systèmes informatiques -- Mesures de sûreté
Véhicules autonomes
Génie logiciel
Architecture logicielle
Risques naturels
Forêts -- Incendies
Gestion des connaissances
Calage
Modèle numérique
Hydraulique fluviale
Système de base de connaissances
Modèles hydrauliques
Logiciels -- Validation
Intelligence artificielle