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
Yuchen
Xie
IdRef
Mots clés
FR
|
EN
Systèmes à évenements discrets
Réseaux de Petri colorés
Modélisation formelle
Vérification formelle
Systèmes ferroviaires
Système de contrôle automatique des trains
Systèmes échantillonnés
Petri, Réseaux de
Méthodes formelles (informatique)
Commande automatique
Sécurité ferroviaire
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)