Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components
G. Nicolescu, Ahmed A. Jerraya
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.
หมวดหมู่:
ปี:
2007
ภาษา:
english
จำนวนหน้า:
156
ISBN 10:
140206151X
ISBN 13:
9781402061516
ไฟล์:
PDF, 3.66 MB
IPFS:
,
english, 2007
หนังสือเล่มนี้ไม่สามารถดาวน์โหลดได้เนื่องจากมีคำร้องเรียนจากผู้ถือลิขสิทธิ์