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)

Angol nyelvű Tudományos Konferenciaközlemény (Egyéb konferenciaközlemény)
Megjelent: Proceedings of 5th Int’l Workshop on Automated Specification and Verification of Web Systems (WWV’09). (2009) pp. 37-52
    Azonosítók
    Idézők (8)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-08-10 10:34