Jean-Marc Faure
Mots clés
FR |
EN
Réseaux de Petri
Systèmes échantillonnés
Logiciels -- Vérification
Automates programmables
Fiabilité
Modèles mathématiques
Systèmes dynamiques
Gestion des connaissances
Processus de conception
Test de conformité
Automate Programmable Industriel
GRAFCET
Architecture -- Informatique
Commande intelligente
Tolérance aux fautes (ingénierie)
Mécatronique
Alarmes industrielles
Systèmes à événements discrets
Recherche de motifs
Filtrage d'alarmes