Index Catalog // Hyrax

Remover filtros

Filtragem por: Palavra-chave hardware verification

Feature-Oriented Specification of Hardware Bus Protocols

Palavra-chave:

hardware verification, timing diagrams, language, and aspect-oriented programming

O Criador:

Freitas, Paul Michael

Advisor:

Fisler, Kathryn

Editor:

Worcester Polytechnic Institute

Data Criada:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science