|
[Kap13]
Tatjana Kapus.
Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata.
Mobile Information Systems, 9(2), pages 157-188, IOS Press.
2013.
[Uses PRISM to build and analyse a probabilistic timed automaton model of the medium access control in nonbeacon-enabled IEEE 802.15.4 wireless personal area networks.]
|
|
Links:
[Google]
[Google Scholar]
|