Items where Author / Artist / Editor is "Testa, Alessandro"

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2017) A formal methodology to design and deploy dependable wireless sensor networks. Sensors, 17 (1) . ISSN 1424-8220 [Article] (doi:10.3390/s17010019)

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2015) The heuristic strategies for assessing wireless sensor network: an event-based formal approach. Journal of Heuristics, 21 (2) . pp. 145-175. ISSN 1381-1231 [Article] (doi:10.1007/s10732-014-9258-x)

Testa, Alessandro, Coronato, Antonio, Cinque, Marcello and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2012) Static verification of wireless sensor networks with formal methods. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012), 25 - 29 November 2012, Naples, Italy. . [Conference or Workshop Item]