Embedded system design : modeling, synthesis and verification /

QR Code

Embedded system design : modeling, synthesis and verification /

Bibliographic Details
Format:	Book
Published:	c2009.
Online Access:	Ver documento en línea

Similar Items

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

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

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

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

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

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

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

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

Embedded systems design with FPGAs /
Published: (2013)

Embedded Systems Design with FPGAs /
Published: (2013)

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

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

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

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

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

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

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

Embedded systems design with special arithmetic and number systems /
Published: (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 /
Published: (2010)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Embedded software verification and debugging /
Published: (2017)

Electronics for embedded systems /
Published: (2017)

Embedded sensor systems /
Published: (2017)