[Kap17]
Tatjana Kapus.
Using PRISM model checker as a validation tool for an analytical model of IEEE 802.15.4 networks.
Simulation Modelling Practice and Theory, 77, pages 367-378.
2017.
[Considers the analysis of IEEE 802.15.4 networks using probabilistic model checking and PRISM.]
|
