Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

by Gabriela Nicolescu and Ahmed A. Jerraya

List of Figures. List of Tables. CHAPTER 1. INTRODUCTION; G.Nicolescu and A.A.Jerraya. CHAPTER 2. HETEROGENEOUS SYSTEMS MODELING: BASIC CONCEPTS; L.Kriaa. 2.1. introduction. 2.2. basic concepts for specification of heterogeneous systems. 2.3. computation model vs. execution model. 2.4. computation model. 2.5. computation model of interconnection. 2.6. computation model for heterogeneous systems. 2.7. conclusion. References. CHAPTER 3. EXECUTION MODELS;...

• Format: Paperback
• Language: English
• ISBN: 904817550X
• ISBN13: 9789048175505
• Release Date: October 2010
• Publisher: Springer
• Length: 148 Pages
• Weight: 0.52 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"