Mohamed Ghazel
IdRefMots clés
FR |
EN
Petri, Réseaux de
Systèmes échantillonnés
Sécurité ferroviaire
Méthodes formelles (informatique)
Détection de défaut (ingénierie)
Diagnostic
Diagnosticabilité
Transports ferroviaires
Signalisation ferroviaire
Réseaux de neurones
Logiciels -- Vérification
Méthodes formelles
Vérification en ligne
Model-Checking
Diagnostic de faute
Système à événement discret
Réseau de Petri labellisé
Analyses à la volée
Approche Incrémentale
Fractionnement des Intervalles de Temps