Analyzing a Proxy Cache Server Performance Model with the Probabilistic Model Checker PRISM

Tamás, Bérczes [Bérczes, Tamás (Informatikai tudo...), author] Faculty of Informatics (UD); Gábor, Guta [Guta, Gábor (Számítástechnika), author]; Gábor, Kusper [Kusper, Gábor (Számítástudomány), author] Department of Computer Sciences (EKF / FNS / IMI); Wolfgang, Schreiner [Schreiner, Wolfgang (Informatika), author]; János, Sztrik [Sztrik, János (Sorbanállási elmélet), author] Faculty of Informatics (UD)