Dependable Computer Systems

Dependability analysis is the approach to performance evaluation of contemporary systems which tries to cope with challenges that are brought with their unprecedented complexity, size and diversity. This monograph presents selected developments in such areas of dependability research as mathematical models, evaluation of software, and, more.