Formal Methods and Stochastic Models for Performance Evaluation Katinka Wolter의 도서 더 보기

Resilience Assessment and Evaluation of Computing Systems

Stochastic Models for Fault Tolerance