Static Verification of Wireless Sensor Networks with Formal Methods

Alessandro Testa, Antonio Coronato, Marcello Cinque, Juan Carlos Augusto. Static Verification of Wireless Sensor Networks with Formal Methods. In Eighth International Conference on Signal Image Technology and Internet Based Systems, SITIS 2012, Sorrento, Naples, Italy, November 25-29, 2012. pages 587-594, IEEE, 2012. [doi]

Abstract

Abstract is missing.