Stefan Haar
IdRefMots clés
FR |
EN
Petri, Réseaux de
Réseaux de Petri
Concurrence
Vérification
Théorie des automates mathématiques
Diagnostic
Systèmes échantillonnés
Dépliages
Markov, Processus de
Systèmes dynamiques discrets
Complexité
Systèmes dynamiques
Complexité de calcul (informatique)
Automates hybrides
Modélisation des flux des passagers
Transport de voyageurs
Biologie des systèmes
Biologie systémique
Traitement réparti
Systèmes de Contraintes