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 Mr Luca FERRO

Publié le 5 juillet 2011
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 Google+ Viadeo
Soutenance 11 juillet 2011

11 juillet 2011 à 14h. Vérification de propriétés logico-temporelles de spécifications SystemC TLM.

11 juillet 2011 à 14h
Soutenance de M.Luca FERRO pour une thèse de DOCTORAT de l'Université de Grenoble, spécialité Micro & Nano Electronique intitulée : Vérification de propriétés logico-temporelles de spécifications SystemC TLM.
 
Lieu : Amphi GOSSE - Grenoble INP, 46 avenue Félix Viallet, 38000 Grenoble
 
Thèse préparée dans le laboratoire TIMA, sous la direction conjointe 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 Google+ Viadeo

mise à jour le 5 juillet 2011

Univ. Grenoble Alpes