Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM009603
Első szerző:Bérczes Tamás (informatikus)
Cím:Analyzing a proxy cache server performance model with the probabilistic model checker PRISM / Tamás Bérczes, Gábor Guta, Gábor Kusper, Wolfgang Schreiner, János Sztrik
Dátum:2009
Tárgyszavak:Műszaki tudományok Informatikai tudományok tanulmány, értekezés
Megjelenés:Automated Specification and Verification of Web Systems WWV'09 : Fifth International Workshop, July 17, 2009, Castle of Hagenberg, Austria / eds. Demis Ballis, Temur Kutsia. - Hagenberg, Austria : [s.n.], 2009. - p. 37-51.
További szerzők:Guta Gábor (1980-) (informatikus) Kusper Gábor (1976-) (informatikus) Schreiner, Wolfgang Sztrik János (1953-) (informatikus, matematikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1