Yannick Pencolé
IdRefMots clés
FR |
EN
Diagnostic
Diagnosticabilité
Petri, Réseaux de
Ingénierie des systèmes
Détection
Localisation
Graphe d'événement temporisé
Semiconducteur
Algèbre (max,+)
Dérives temporelles
Semiconducteurs
Vérification formelle
Diagnostic de panne
Manifestabilité
Logiciels -- Vérification
Vérification de modèles (informatique)
Systèmes informatiques
Diagnostic à base de Modèle
Méta-diagnostic
Aéronautique Airbus