Embedded system design : modeling, synthesis and verification /

Código QR

Embedded system design : modeling, synthesis and verification /

Detalles Bibliográficos
Formato:	Libro
Publicado:	c2009.
Acceso en línea:	Ver documento en línea

Ejemplares similares

Embedded System Design : Modeling, Synthesis and Verification /
por: Gajski, Daniel D., et al.
Publicado: (2009)

Embedded system design : modeling, synthesis and verification /
Publicado: (2009)

Embedded system design : embedded systems foundations of cyber-physical systems /
Publicado: (2011)

Embedded system design : embedded systems foundations of cyber-physical systems, and the internet of things /
Publicado: (2018)

Embedded control system design : a model based approach /
Publicado: (2013)

Collaborative design for embedded systems : Co-modelling and Co-simulation /
Publicado: (2014)

Embedded Control System Design : A Model Based Approach /
por: Forrai, Alexandru.
Publicado: (2013)

Verification of transaction level models of embedded systems /
por: Lochi Yu Lo, Lucky

Embedded systems design with FPGAs /
Publicado: (2013)

Embedded Systems Design with FPGAs /
Publicado: (2013)

Model-Based Design of Adaptive Embedded Systems /
Publicado: (2013)

Embedded systems design based on formal models of computation /
Publicado: (2011)

Design Technology for Heterogeneous Embedded Systems /
Publicado: (2012)

Embedded systems design : using the MSP430FR2355 launchpadTM /
Publicado: (2020)

Designing embedded systems with Arduino : a fundamental technology for makers /
Publicado: (2018)

Embedded systems : design, analysis and verification. 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings /
Publicado: (2013)

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL'08 /
Publicado: (2009)

Embedded systems design with special arithmetic and number systems /
Publicado: (2017)

Advances in design methods from modeling languages for embedded systems and SoC's : Selected Contributions on Specification, Design, and Verification from FDL 2009.

Advances in design methods from modeling languages for embedded systems and SoC's : selected contributions on specification, design, and verification from FDL 2009 /
Publicado: (2010)

Embedded flash memory for embedded systems : technology, design for sub-systems, and innovations /
Publicado: (2018)

Fast and effective embedded systems design : aplicando ARM mbed /
por: Toulson, Rob
Publicado: (2012)

RAPID EMBEDDED SYSTEM TESTING USING VERIFICATION PATTERNS.
por: TSAI, WEI-TEK

Embedded systems specification and design languages : selected contributions from FDL'07 /
Publicado: (2008)

Embedded Systems Specification and Design Languages : Selected Contributions from FDL'07 /
Publicado: (2008)

Embedded memory design for multi-core and systems on chip /
Publicado: (2014)

Practical Aspects of Embedded System Design using Microcontrollers
por: Parab, Jivan., et al.
Publicado: (2008)

Designing embedded systems with the SIGNAL programming language : synchronous, reactive specification /
Publicado: (2010)

Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification /
por: Gamatié, Abdoulaye.
Publicado: (2010)

Compilation and synthesis for embedded reconfigurable systems : An Aspect-Oriented Approach /
Publicado: (2013)

Compilation and Synthesis for Embedded Reconfigurable Systems : An Aspect-Oriented Approach /
Publicado: (2013)

Design Methodologies for Secure Embedded Systems : Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss /
Publicado: (2011)

Embedded systems development : from functional models to implementations /
Publicado: (2014)

Design of an Intelligent Embedded System for Condition Monitoring of an Industrial Robot /
Publicado: (2017)

Embedded systems design for high-speed data acquisition and control /
Publicado: (2015)

Embedded software design and programming of multiprocessor system-on-chip : simulink and system C case studies /
Publicado: (2010)

Embedded Software Design and Programming of Multiprocessor System-on-Chip : Simulink and System C Case Studies /
por: Popovici, Katalin., et al.
Publicado: (2010)

Embedded software verification and debugging /
Publicado: (2017)

Electronics for embedded systems /
Publicado: (2017)

Embedded sensor systems /
Publicado: (2017)