Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Zhiwu
Li
IdRef
Mots clés
FR
|
EN
Réseaux de Petri
Interblocage
Siphons
Systèmes de fabrication automatisés
Structures
Petri, Réseaux de
GPAO
SystemC
Méthodes Formelles
Vérification des systèmes matériels et logiciels
Abstraction des prédicats
Exécution Symbolique
Automates
Sémantiques des langages
Méthodes formelles (informatique)
Liste des thèses par rôle
Examinateur / Examinatrice pour 2 thèse(s)