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
Jyotirmoy V.
Deshmukh
IdRef
Mots clés
FR
|
EN
Assertions
Hybride
Conception electronique assistée par ordinateur
Logique temporelle
Langages de spécification matériel
Simulation numerique
Circuits électroniques
Circuits intégrés analogiques numériques
Spécifications
Simulation par ordinateur
Liste des thèses par rôle
Rapporteur / Rapporteuse pour 1 thèse(s)