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 systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.
| Autorius: | Ahmed A. Jerraya, G. Nicolescu, |
| Leidėjas: | Springer Netherlands |
| Išleidimo metai: | 2010 |
| Knygos puslapių skaičius: | 160 |
| ISBN-10: | 904817550X |
| ISBN-13: | 9789048175505 |
| Formatas: | Knyga minkštu viršeliu |
| Kalba: | Anglų |
| Žanras: | Electronics: circuits and components |
Parašykite atsiliepimą apie „Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components“
