|
[BBOM12]
Paolo Ballarini, Jalel Ben-Othman and Lynda Mokdad.
Quantitative Verification of WiMAX Traffic Shaping Solutions.
In Proc. 7th International Symposium on Intelligent System Techniques for Ad hoc and Wireless Sensor Networks (IST-AWSN).
2012.
[Uses probabilistic model checking and PRISM to analyse traffic-shaping schemes for the IEEE 802.16 (WiMAX) standard.]
|
|
Links:
[Google]
[Google Scholar]
|