Jean-Pierre Derain
IdRefMots clés
FR
Systèmes informatiques
Testabilité
Aéronautique
Diagnostic
Fausses alarmes
Capteurs analogiques
Défaillance
Ambiguïté de localisation
Automates temporisés
Diagramme d'état
Arbres de défaillance dynamiques
Réseaux de Petri
Aeronautics
Petri network
Dynamic fault tree
State diagram
Timed automata
Analogue sensor
False alarms
Localisation ambiguity