Titre :	Méthodologie de vérification formelle pour les microarchitectures RISC.Approche fonctionnelle
Auteurs :	Salah Merniz ; Univ. de Constantine, Éditeur scientifique ; M. Benmohammed, Directeur de thèse
Année de publication :	2008
Importance :	100 f.
Présentation :	Shémas
Format :	30 cm
Note générale :	01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD
Catégories :	Français - Anglais Informatique
Tags :	Vérification formelle  microarchitecture RISC  approche fonctionnelle  incrémentale
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/MER5249.pdf
Permalink :	index.php?lvl=notice_display&id=299

Méthodologie de vérification formelle pour les microarchitectures RISC.Approche fonctionnelle [] / Salah Merniz ; Univ. de Constantine, Éditeur scientifique ; M. Benmohammed, Directeur de thèse . - 2008 . - 100 f. : Shémas ; 30 cm.
01 Disponible à la salle de recherche 02 Disponibles au magazin de la B.U.C. 01 CD

Catégories :	Français - Anglais Informatique
Tags :	Vérification formelle  microarchitecture RISC  approche fonctionnelle  incrémentale
Index. décimale :	004 Traitement de données. Informatique
En ligne :	../theses/informatique/MER5249.pdf
Permalink :	index.php?lvl=notice_display&id=299