bokomslag Global Specification and Validation of Embedded Systems
Data & IT

Global Specification and Validation of Embedded Systems

G Nicolescu Ahmed A Jerraya

Inbunden

1499:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 148 sidor
  • 2007
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.
  • Författare: G Nicolescu, Ahmed A Jerraya
  • Format: Inbunden
  • ISBN: 9781402061516
  • Språk: Engelska
  • Antal sidor: 148
  • Utgivningsdatum: 2007-06-01
  • Förlag: Springer-Verlag New York Inc.