Ajmi Houidi
Mots clés
FR |
EN
Désassemblage
Graphes d'événements temporisés.
Systèmes à evénements discrets
Contraintes de marquage généralisées.
Contraintes d'exclusions mutuelles
Contraintes de marquage
Rétro-ingénierie (informatique)
Systèmes échantillonnés
Commande de processus
Génie mécanique
Cyclomoteurs
Accidents de la route
Simulation par ordinateur