Survivability Analysis Using Probabilistic Model Checking:...

IEEE Systems Journal 2013 / 03 Vol. 7; Iss. 1

Survivability Analysis Using Probabilistic Model Checking: A Study on Wireless Sensor Networks

Petridou, Sophia, Basagiannis, Stylianos, Roumeliotis, Manos
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
7
Language:
english
Journal:
IEEE Systems Journal
DOI:
10.1109/JSYST.2012.2224612
Date:
March, 2013
File:
PDF, 2.59 MB
english, 2013
Conversion to is in progress
Conversion to is failed