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
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Xavier
Nicollin
IdRef
Mots clés
FR
|
EN
Systemes temps reel
Specification
Algebre de processus temporisés
Verification
Graphes temporises
Logiques temporelles
Model checking symbolique
Synchronous dataflow
Modèle de calcul flot de données
Reconfiguration
Architecture dataflow
Signal, Théorie du (télécommunications)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Directeur / Directrice de 1 thèse(s)