Global Specification and Validation of Embedded Systems
Produktnummer:
18cd75a44f73274172a668599bc290f16e
Autor: | Jerraya, Ahmed A. Nicolescu, G. |
---|---|
Themengebiete: | Computation and execution models Embedded computing systems Hardware Heterogeneous component interfaces Heterogeneous systems Simulation Validation architecture integrated circuit model |
Veröffentlichungsdatum: | 19.10.2010 |
EAN: | 9789048175505 |
Sprache: | Englisch |
Seitenzahl: | 148 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer Netherland |
Untertitel: | Integrating Heterogeneous Components |
Produktinformationen "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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen