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