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
Florian
Letombe
IdRef
Mots clés
FR
|
EN
Méthodes formelles
Systèmes multi-Horloges
Système sur puce
Vérification de modèles
Validation functionnelle
Circuits d'horloge
Circuits intégrés numériques
Électronique numérique
Méthodes formelles (informatique)
Complexité de calcul (informatique)
Fonctions booléennes
Calcul des propositions
Algorithmes
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Examinateur / Examinatrice pour 1 thèse(s)