eBook
Global Specification and Validation of Embedded Systems
| Τίτλος: | Global Specification and Validation of Embedded Systems |
|---|---|
| Περιγραφή: | 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. |
| Συγγραφείς: | G. Nicolescu, Ahmed A. Jerraya |
| Resource Type: | eBook. |
| Θέματα: | Systems engineering, Computer programs--Validation, Embedded computer systems, Heterogeneous computing |
| Categories: | TECHNOLOGY & ENGINEERING / Electronics / Circuits / General, COMPUTERS / Design, Graphics & Media / CAD-CAM, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Computer Simulation |
| Βάση Δεδομένων: | eBook Index |
| ISBN: | 9781402061516 9789048175505 9781402061530 |
|---|