HEAL DSpace

Refinement and property checking in high-level synthesis using attribute grammars

Αποθετήριο DSpace/Manakin

Refinement and property checking in high-level synthesis using attribute grammars

Economakos, G; Papakonstantinou, G
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/13352
Ημερομηνία: 1999

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

Αρχεία Μέγεθος Μορφότυπο Προβολή

Δεν υπάρχουν αρχεία που σχετίζονται με αυτό το τεκμήριο.

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)