|
[WBD+08]
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher and Julie McCann.
Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks.
In Proc. Automated Verification of Critical Systems 2018 (AVoCS'18) .
2018.
[Verifies protocols for wireless sensor networks using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|