Embedded systems design based on formal models of computation /

QR Code

Embedded systems design based on formal models of computation /

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

Similar Items

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

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 control system design : a model based approach /
Published: (2013)

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

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)

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

Advanced model-based engineering of embedded systems : extensions of the SPES 2020 methodology. /
Published: (2016)

Embedded systems design with FPGAs /
Published: (2013)

Embedded Systems Design with FPGAs /
Published: (2013)

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

Tailoring design for embedded computer vision applications
by: Schlessman, Jason

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

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

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

Embedded computer systems : architectures, modeling, and simulation. 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020. Proceedings /
Published: (2020)

Embedded computer systems : architectures, modeling, and simulation. 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings /
Published: (2008)

Embedded computer systems : architectures, modeling, and simulation. 9th International Workshop, SAMOS 2009, Samos, Greece, July 20-23, 2009. Proceedings /
Published: (2009)

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

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

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)

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)

Performance modeling and design of computer systems : queueing theory in action /
by: Harchol-Balter, Mor 1966-, et al.
Published: (2013)

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)

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

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)

Embedded computer vision /
Published: (2009)

Modern embedded computing /
by: Barry, Peter
Published: (2012)

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)

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)

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)

Soft Computing Based Modeling in Intelligent Systems
Published: (2009)