Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation

José Antonio Mateo, Hermenegilda Macià, M. Carmen Ruiz, Javier L. Calleja, Fernando Royo. Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. IJDSN, 2015, 2015. [doi]

Abstract

Abstract is missing.