Analyzing a proxy cache server performance model with the probablistic model checker PRISM

Autoren T. Bérczes
Gábor Guta
G. Kusper
W. Schreiner
J. Sztrik
Editoren D. Ballis
T. Kutsia
Titel Analyzing a proxy cache server performance model with the probablistic model checker PRISM
Buchtitel Proceedings of 5th International Workshop on Automated Specification and
Typ in Konferenzband
Abteilung IDM
Monat July
Jahr 2009
Seiten 37-51
SCCH ID# 926