1 recherche sur le tag 'Maude'   

Aide à la conception des systèmes multiprocesseurs mono-puce à partir de spécification de haut niveau / Fateh Boutekkouk  

Public ISBD Titre : Aide à la conception des systèmes multiprocesseurs mono-puce à partir de spécification de haut niveau Type de document : texte imprimé Auteurs : Fateh Boutekkouk ; Univ. de Constantine, Éditeur scientifique ; Mohamed Benmohammed, Directeur de thèse Année de publication : 2010 Importance : 183 f. Note générale : 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Catégories : Français - Anglais Informatique Tags : Simulation  Logique de réécriture  Vérification formelle  MPSOC  systèmes embarqués UML  Maude  système C  Architectures reconfigurables Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU5625.pdf Permalink : index.php?lvl=notice_display&id=321 Aide à la conception des systèmes multiprocesseurs mono-puce à partir de spécification de haut niveau [texte imprimé] / Fateh Boutekkouk ; Univ. de Constantine, Éditeur scientifique ; Mohamed Benmohammed, Directeur de thèse . - 2010 . - 183 f. 01 Disponible à la salle de recherche 01 Disponible au magazin de la B.U.C. 01 CD Catégories : Français - Anglais Informatique Tags : Simulation  Logique de réécriture  Vérification formelle  MPSOC  systèmes embarqués UML  Maude  système C  Architectures reconfigurables Index. décimale : 004 Traitement de données. Informatique Diplôme : Doctorat en sciences En ligne : ../theses/informatique/BOU5625.pdf Permalink : index.php?lvl=notice_display&id=321

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BOU/5625	BOU/5625	Thèse	Bibliothèque principale	Thèses	Disponible