Design and Analysis of Distributed Embedded Systems - IFIP 17th World Computer Congress : TC10 Stream on Distributed and Parllel Embedded Systems (DIPES 2002), August 25-29, 2002, Montraeal, Quaebec, Canada - Hardback - 2002

Deals with specification methods and their analysis while concentrating on timing and performance analysis. This title describes approaches to system verification at different levels of abstraction. It also deals with fault tolerance and detection. It focuses on the distribution related topics such as partitioning, scheduling and communication.
Year of publication: 2002
Pagination: 286 pages, biography
Format: Hardback
Serie: IFIP Advances in Information and Communication Technology
Editor: Bernd Kleinjohann, K.H. Kim, Lisa Kleinjohann, Achim Rettberg