Analysing Web Server Performance Models with the Probabilistic Model Checker PRISM

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