A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks

Alessandro Testa, Marcello Cinque, Antonio Coronato, Juan Carlos Augusto. A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks. Sensors, 17(1):19, 2017. [doi]

Abstract

Abstract is missing.