Le moteur de recherche
des thèses françaises
Xavier Pucel
IdRefMots clés
FR |
EN
Diagnostic
Model-Checking
Système d'événement discret
Robotique
Systèmes échantillonnés
Vérification de modèles (informatique)
Diagnostic qualité
Tolérance aux fautes (informatique)
Systèmes informatiques
Pannes
Ingénierie système à base de modèles (MBSE)
Sûreté de fonctionnement à base de modèles (MBSA)
Diagnostic opérationnel à base de modèles (MBD)
Arbres de comportement (BTs)
Arbre de défaillances (FTs)
Systèmes complexes / aerospatiaux
Aéronautique
Astronautique
Détection d'anomalies
Robots industriels