Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort timing diagrams

Disjunction of Regular Timing Diagrams

Stichwort:

disjunction, timing diagrams, model checking, temporal logic, and Alloy

Schöpfer:

Feng, Yu

Advisor:

Fisler, Kathryn

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2010-10-12

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Feature-Oriented Specification of Hardware Bus Protocols

Stichwort:

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

Schöpfer:

Freitas, Paul Michael

Advisor:

Fisler, Kathryn

Herausgeber:

Worcester Polytechnic Institute

Datum erstellt:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science