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 |