Comparing the Performance Modeling Environment MOSEL and the Probabilistic Model Checker PRISM for Modeling and Analysing Retrial Queueing Systems

Bérczes, T [Bérczes, Tamás (Informatikai tudo...), szerző] Informatikai Kar (DE); Guta, G [Guta, Gábor (Számítástechnika), szerző]; Kusper, G [Kusper, Gábor (Számítástudomány), szerző] Számítástudományi Tanszék (EKF / TTK / MII); Schreiner, W; Sztrik, J [Sztrik, János (Sorbanállási elmélet), szerző] Informatikai Kar (DE)

Angol nyelvű Tudományos Kutatási jelentés (közzétett) (Egyéb)
Megjelent: 2007
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2020-08-14 19:45