Embedded System Design : Modeling, Synthesis and Verification /
Autores principales: | Gajski, Daniel D. (Autor), Abdi, Samar. (Autor), Gerstlauer, Andreas. (Autor), Schirner, Gunar. (Autor) |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Materias: |
Ejemplares similares
-
Embedded Software Design and Programming of Multiprocessor System-on-Chip : Simulink and System C Case Studies /
por: Popovici, Katalin., et al.
Publicado: (2010) -
Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /
Publicado: (2010) -
Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification /
por: Gamatié, Abdoulaye.
Publicado: (2010) -
Adaptable Embedded Systems /
Publicado: (2013) -
Integrated Optical Interconnect Architectures for Embedded Systems /
Publicado: (2013)