Publication:5250859

zbMath1324.68026MaRDI QIDQ5250859

János Sztrik, Wolfgang Schreiner, Tamás Bérczes

Publication date: 22 May 2015

Full work available at URL: http://ami.ektf.hu/uploads/papers/finalpdf/AMI_43_from123to144.pdf

zbMATH Keywords

performance analysis; mobile networks

Mathematics Subject Classification ID

68M20: Performance evaluation, queueing, and scheduling in the context of computer systems

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• PRISM