www.prismmodelchecker.org
[YIR24] Sana Younes, Maroua Idi and Riadh Robbana. Performability analysis of multi-service call admission control schemes in LTE networks. International Journal of General Systems. 2024. [Analyses Quality-of-Service (QoS) measures of cellular networks using probabilistic model checking and PRISM.]
Links: [Google] [Google Scholar]

Publications