Global Specification and Validation of Embedded Systems

Author:   G Nicolescu ,  Ahmed A Jerraya
Publisher:   Springer
ISBN:  

9789048113811


Pages:   164
Publication Date:   25 August 2008
Format:   Undefined
Availability:   Out of stock   Availability explained


Our Price $65.87 Quantity:  
Add to Cart

Share |

Global Specification and Validation of Embedded Systems


Overview

This book offers up a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.

Full Product Details

Author:   G Nicolescu ,  Ahmed A Jerraya
Publisher:   Springer
Imprint:   Springer
Dimensions:   Width: 23.40cm , Height: 0.90cm , Length: 15.60cm
Weight:   0.240kg
ISBN:  

9789048113811


ISBN 10:   9048113814
Pages:   164
Publication Date:   25 August 2008
Audience:   General/trade ,  General
Format:   Undefined
Publisher's Status:   Unknown
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

RGJ26

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List