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
TitelAnalyzing a proxy cache server performance model with the probablistic model checker PRISM
BuchtitelProceedings of 5th International Workshop on Automated Specification and
Typin Konferenzband
AbteilungIDM
MonatJuly
Jahr2009
Seiten37-51
SCCH ID#926