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

Tamás, Bérczes [Bérczes, Tamás (Informatikai tudo...), szerző] Informatikai Kar (DE); Gábor, Guta [Guta, Gábor (Számítástechnika), szerző]; Gábor, Kusper [Kusper, Gábor (Számítástudomány), szerző] Számítástudományi Tanszék (EKF / TTK / MII); Wolfgang, Schreiner [Schreiner, Wolfgang (Informatika), szerző]; János, Sztrik [Sztrik, János (Sorbanállási elmélet), szerző] Informatikai Kar (DE)