

Beschreibung
This book addresses a major problem for today's large-scale networked systems: certification of the required stability and performance properties using analytical and computational models. On the basis of illustrative case studies, it demonstrates the applica...