|
[SBN14]
Pravati Swain, Purandar Bhaduri and Sukumar Nandi.
Probabilistic model checking of IEEE 802.11 IBSS power save mode.
International Journal of Wireless and Mobile Computing, 7(7), pages 465-474.
2014.
[Uses probabilistic model checking and PRISM to analyse a power management algorithm for Independent Basic Service Set (IBSS) from the IEEE 802.11 standard for wireless local area networks.]
|
|
Links:
[Google]
[Google Scholar]
|