Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels of abstraction. Chapter 4 deals with fault tolerance and detection. Middleware and software reuse aspects are treated in Chapter 5. Chapters 7 and 8 concentrate on the distribution related topics such as partitioning, scheduling and communication. The book closes with a chapter on design methods and frameworks.
购买此电子书可免费获赠一本!
语言 英语 ● 格式 PDF ● ISBN 9780387355993 ● 编辑 K.H. (Kane) Kim & Bernd Kleinjohann ● 出版者 Springer US ● 发布时间 2013 ● 下载 3 时 ● 货币 EUR ● ID 4647609 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器