Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Geoffrey Plouviez

Mots clés

FR

Microprocesseurs multi-coeurs

Systèmes virtuels (informatique)

Systèmes sur puce

B (méthode formelle)