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 |