Design and Analysis of Distributed Embedded Systems : IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25-29, 2002, Montréal, Québec, Canada /

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 o...

Full description

Bibliographic Details

Main Author:	Kleinjohann, Bernd
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kim, K. H., Kleinjohann, Lisa, Rettberg, Achim
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2002.
Series:	IFIP — The International Federation for Information Processing ; 91.
Subjects:	Computer science. Computer Communication Networks. Computer-aided design. Electronic books.
Online Access:	Connect to the full text of this electronic book