[PBR13]
Sophia Petridou, Stylianos Basagiannis and Manos Roumeliotis.
Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks.
IEEE Systems Journal, 7(1), pages 4-12.
2013.
[Analyses survivability properties of wireless sensor networks using PRISM.]
|
