Jérémie Guiochet
Mots clés
FR |
EN
Fiabilité
Sûreté de fonctionnement
Systèmes autonomes
Systèmes informatiques -- Mesures de sûreté
Argumentaire de sécurité
Méthodes formelles (informatique)
Tolérance aux fautes
Simulation
Test
Robots autonomes
Évaluation du risque
Tolérance aux fautes (ingénierie)
Moniteur de sécurité
Théorie des fonctions de croyance
Théorie de Dempster-Shafer
Méthodes formelles
Véhicules autonomes
Robotique
Règles de sécurité
Synthèse