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