Embedded System Design Modeling, Synthesis and Verification /
Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both computation and communication at different levels of abstraction, such as specification, transaction level and cycle-accurate level. It disc...
Clasificación: | Libro Electrónico |
---|---|
Autores principales: | Gajski, Daniel D. (Autor), Abdi, Samar (Autor), Gerstlauer, Andreas (Autor), Schirner, Gunar (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2009.
|
Edición: | 1st ed. 2009. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Distributed, Embedded and Real-time Java Systems
Publicado: (2012) -
Introduction to Mixed-Signal, Embedded Design
por: Doboli, Alex, et al.
Publicado: (2011) -
A Practical Introduction to Hardware/Software Codesign
por: Schaumont, Patrick R.
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)