Probabilistic model checking on HPC systems for the performance analysis of mobile networks

zbMATH Open1324.68026MaRDI QIDQ5250859FDOQ5250859

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

Publication date: 22 May 2015

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

Recommendations

• Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems
• scientific article; zbMATH DE number 2087806
• scientific article; zbMATH DE number 2080040
• Distribution, approximation and probabilistic model checking
• Abstraction of Probabilistic Systems

zbMATH Keywords

performance analysismobile networks

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (1)

• Evaluating a probabilistic model checker for modeling and analyzing retrial queueing systems

Uses Software

• PRISM

This page was built for publication: Probabilistic model checking on HPC systems for the performance analysis of mobile networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5250859)