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

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 3.


Testa, Alessandro, Cinque, Marcello, Coronato, Antonio and Augusto, Juan Carlos (2017) A formal methodology to design and deploy dependable wireless sensor networks. Sensors, 17 (1). ISSN 1424-8220 (doi:10.3390/s17010019)

Testa, Alessandro, Cinque, Marcello, Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos (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 (doi:10.1007/s10732-014-9258-x)

Conference or Workshop Item

Testa, Alessandro, Coronato, Antonio, Cinque, Marcello and Augusto, Juan Carlos (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.

This list was generated on Thu Oct 17 05:24:42 2019 BST.