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

QR Code

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

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

Similar Items

Analysis, architectures and modelling of embedded systems : Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings.

System Level Design from HW/SW to Memory for Embedded Systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings /
Published: (2017)

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

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 flash memory for embedded systems : technology, design for sub-systems, and innovations /
Published: (2018)

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

Distributed embedded systems: design, middleware and resources : IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy /
Published: (2008)

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)

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

Adaptable embedded systems /
Published: (2013)

Adaptable Embedded Systems /
Published: (2013)

Electronics for embedded systems /
Published: (2017)

Embedded sensor systems /
Published: (2017)

Making embedded systems /
by: White, Elecia
Published: (2012)

Adaptable embedded systems /
Published: (2012)

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

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

Embedded robotics : mobile robot design and applications with embedded systems /
Published: (2008)

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

Cryptographic Hardware and Embedded Systems -- CHES 2013 : 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013, Proceedings /
Published: (2013)

Building embedded linux systems /
by: Yaghmour, Karim, et al.
Published: (2008)

Embedded multicore processors and systems.
by: Levy, Marcus

Pro Linux Embedded Systems /
by: Sally, Gene.
Published: (2010)

Speech Processing in Embedded Systems /
by: Sinha, Priyabrata.
Published: (2010)

Building embedded systems : programmable hardware /
Published: (2016)

Building Embedded Systems : Programmable Hardware /
by: Gu, Changyi.
Published: (2016)

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

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

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

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

Distributed embedded control systems : improving dependability with coherent design /
Published: (2008)

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

Distributed Embedded Control Systems : Improving Dependability with Coherent Design /
by: Colnaric, Matjaž., et al.
Published: (2008)

Embedded computer systems : architectures, modeling, and simulation. 19th International Conference, SAMOS 2019, Samos, Greece, July 7-11, 2019. Proceedings /
Published: (2019)

Cryptographic Hardware and Embedded Systems - CHES 2016 : 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings /
Published: (2016)

Embedded operating systems : a practical approach /
Published: (2014)