TY - BOOK AU - Gajski, Daniel D. AU - Narayan, Sanjiv AU - Gong, Jie AU - Vahid, Frank TI - Specification and Design of Embedded Systems SN - 9780131507319 U1 - 004.16 PY - 1994/// CY - New Jersey PB - Prentice-Hall, Inc. KW - Computer Engineering N1 - Introduction Models and Architectures Specification Languages A Specification Example Translation to VHDL System Partitioning Design Quality Estimation Specification Refinement System Design Methodology ER -