Le moteur de recherche
des thèses françaises
Jean-Pierre Verjus
IdRefMots clés
FR
Compilation
Sciences appliquees
Circuits intégrés
Parallélisme
Algorithmes
Conception assistée par ordinateur
Systèmes temps réel
Spécification
Vérification
Flots de données
Synchronisme
Logique temporelle
Évaluation des logiciels
Temps réel (informatique)
Sciences appliquées
électrotechnique, electroenergetique
Conducteur électrique
Circuit magnétique
Conception assistée
Méthode élément fini