Related Books

Formal Methods and Stochastic Models for Performance Evaluation
Language: en
Pages: 246
Authors: András Horváth
Categories: Computers
Type: BOOK - Published: 2006-06-20 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16
Formal Methods and Stochastic Models for Performance Evaluation
Language: en
Pages: 310
Authors: Katinka Wolter
Categories: Computers
Type: BOOK - Published: 2007-09-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.
Formal Methods for Performance Evaluation
Language: en
Pages: 475
Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2007-06-06 - Publisher: Springer

DOWNLOAD EBOOK

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods fo
Resilience Assessment and Evaluation of Computing Systems
Language: en
Pages: 485
Authors: Katinka Wolter
Categories: Computers
Type: BOOK - Published: 2012-11-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The resilience of computing systems includes their dependability as well as their fault tolerance and security. It defines the ability of a computing system to
Lectures on Formal Methods and Performance Analysis
Language: en
Pages: 438
Authors: Ed Brinksma
Categories: Computers
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pen