Global Specification And Validation Of Embedded Systems: Integrating Heterogeneous Components

Nicolescu , Jerraya ,

ISBN 10: 140206151X / ISBN 13: 9781402061516

Verlag: Springer, 2007

Beschreibung

New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-167262

Bibliografische Details

Titel: Global Specification And Validation Of ...

Verlag: Springer

Erscheinungsdatum: 2007

Einband: Hardcover

Zustand: Brand New

Über diesen Titel

Inhaltsangabe:

Rare Book

Reseña del editor:

This book offers up 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 are used to illustrate these concepts. The benefit of reading this book is to arrive at a clear vision of the theory and practice of specification and validation of complex modern systems. Numerous examples give designers highly applicable solutions.