A statistical model checking approach to analyse the random access protocol

Authors:
Publisher website
Google Scholar
Abstract
Mobile cellular networks are becoming the most important technology in the telecom industry, and this made them a preferred subject for research and development of new hardware and software systems...