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


Add your own review!

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:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
Shopping cart
Mailing List