Embedded systems design based on formal models of computation /

Código QR

Embedded systems design based on formal models of computation /

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

Ejemplares similares

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

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

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

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

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)

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

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

Embedded systems design with FPGAs /
Publicado: (2013)

Embedded Systems Design with FPGAs /
Publicado: (2013)

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

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

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

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

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

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

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

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

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

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

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)

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)

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

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)

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 /
Publicado: (2014)

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

Embedded computer vision /
Publicado: (2009)

Modern embedded computing /
por: Barry, Peter
Publicado: (2012)

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)

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 /
Publicado: (2008)

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)

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