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

T. Bérczes, G. Guta, G. Kusper, W. Schreiner, J. Sztrik. Analyzing a proxy cache server performance model with the probablistic model checker PRISM. pages 37-51, 7, 2009.

Autoren
  • T. Bérczes
  • Gábor Guta
  • G. Kusper
  • W. Schreiner
  • J. Sztrik
Editoren
  • D. Ballis
  • T. Kutsia
BuchProceedings of 5th International Workshop on Automated Specification and
TypIn Konferenzband
Monat7
Jahr2009
Seiten37-51