Related Books

Global Specification and Validation of Embedded Systems
Language: en
Pages: 156
Authors: G. Nicolescu
Categories: Technology & Engineering
Type: BOOK - Published: 2007-07-07 - Publisher: Springer Science & Business Media

GET EBOOK

This book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computatio
From Specification to Embedded Systems Application
Language: en
Pages: 331
Authors: Achim Rettberg
Categories: Computers
Type: BOOK - Published: 2005-09-28 - Publisher: Springer

GET EBOOK

As almost no other technology, embedded systems is an essential element of many innovations in automotive engineering. New functions and improvements of already
Embedded Systems and Software Validation
Language: en
Pages: 267
Authors: Abhik Roychoudhury
Categories: Computers
Type: BOOK - Published: 2009-04-29 - Publisher: Morgan Kaufmann

GET EBOOK

Modern embedded systems require high performance, low cost and low power consumption. Such systems typically consist of a heterogeneous collection of processors
UML-B Specification for Proven Embedded Systems Design
Language: en
Pages: 302
Authors: Jean Mermet
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-19 - Publisher: Springer Science & Business Media

GET EBOOK

This book presents the perspective of the project on a Paradigm Unifying System Specification Environments for proven Electronic design (PUS SEE) as conceived i
Embedded System Design
Language: en
Pages: 368
Authors: Daniel D. Gajski
Categories: Technology & Engineering
Type: BOOK - Published: 2009-08-14 - Publisher: Springer Science & Business Media

GET EBOOK

Embedded System Design: Modeling, Synthesis and Verification introduces a model-based approach to system level design. It presents modeling techniques for both