You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
15 years ago | |
|---|---|---|
| .. | ||
| README.txt | 15 years ago | |
| auto | 20 years ago | |
| cell.csl | 18 years ago | |
| cell.sm | 18 years ago | |
README.txt
This case study is based on a single cell in a wireless communication network. It is taken from [HMPT00].
For more information, see: http://www.prismmodelchecker.org/casestudies/cell.php
=====================================================================================
[HMPT00]
G. Haring, R. Marie, R. Puigjaner and K. Trivedi
Loss formulae and their application to optimization for cellular networks
IEEE Transaction on Vehicular Technology, 50(3):664 -673, 2000