Items where Author / Artist / Editor is "Cinque, Marcello"

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

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

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 Sun Jul 21 04:41:01 2019 BST.