Embedded System Design
Subtitle: Modeling, Synthesis and Verification
By: by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner
Contributors: Abdi, Samar; Gerstlauer, Andreas, 1970-; Schirner, Gunar; SpringerLink (Online service)
Publisher: Springer-Verlag US
Published: 2009
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
ISBN-13: 9781441905031; 9781441905048
Subjects: Systems engineering; Engineering; Computer-aided design; Software engineering