Lecture Notes in Computer Science
1 primary work
Book 50
Taxonomies for the Development and Verification of Digital Systems
Published 1 January 2005
Thorough set of definitions for the terms and models used in the creation, refinement, and verification of complex systems from the conceptual level down to its implementation
Considering both the hardware and software components of the system
Also covers the emerging area of platform-based design
Provides both knowledge of models and terms, and understanding of these models and how they are used.