Gajski, Daniel D.
Embedded System Design Modeling, Synthesis and Verification / [electronic resource] : by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner. - Boston, MA : Springer US, 2009. - digital.
9781441905048
10.1007/978-1-4419-0504-8 doi
Engineering.
Software engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.
TK7888.4
621.3815
Embedded System Design Modeling, Synthesis and Verification / [electronic resource] : by Daniel D. Gajski, Samar Abdi, Andreas Gerstlauer, Gunar Schirner. - Boston, MA : Springer US, 2009. - digital.
9781441905048
10.1007/978-1-4419-0504-8 doi
Engineering.
Software engineering.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Software Engineering/Programming and Operating Systems.
TK7888.4
621.3815