Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components

by G. Nicolescu, Gabriela Nicolescu, Ahmed Jerraya, et al.

Global Specification and Validation of Embedded Systems offers 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...

• Format: Hardcover
• Language: English
• ISBN: 140206151X
• ISBN13: 9781402061516
• Release Date: June 2007
• Publisher: Springer
• Length: 148 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"