Formal Methods and Stochastic Models for Performance Evaluation المزيد من كتب Katinka Wolter

Resilience Assessment and Evaluation of Computing Systems

Stochastic Models for Fault Tolerance