Aller au menu Aller au contenu
Une excellence accessible à tous

Institut polytechnique de Grenoble

Grenoble Institute of Engineering
Une excellence accessible à tous
Une excellence accessible à tous

> Formation > Doctorats

Soutenance de Amr Helmy

Publié le 23 avril 2010
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In
Soutenance

30 avril 2010 à 14h. Mise en œuvre de techniques de démonstration automatique pour la vérification formelle des NoCs.

30 avril 2010 à 14h. Soutenance de Amr Helmy pour une thèse de doctorat de l'Institut polytechnique de Grenoble, spécialité : Electronique, Electrotechnique, Automatique & Traitement du Signal, intitulée : Mise en œuvre de techniques de démonstration automatique pour la vérification formelle des NoCs.

Lieu : Amphi Doyen Gosse - Grenoble INP - 46, avenue Felix Viallet, 38031, Grenoble.

Thèse préparée dans le laboratoire  TIMA  , sous la direction de Mme Laurence PIERRE.

Présentation rapide de la thèse
A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In

mise à jour le 26 avril 2010

Univ. Grenoble Alpes