Items where Author / Artist / Editor is "Coronato, Antonio"

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

Article

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:https://doi.org/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:https://doi.org/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.

Coronato, Antonio, De Pietro, Giuseppe and Augusto, Juan Carlos (2012) Modeling eating disorders of cognitive impaired people. In: HumanCom'2012, 6-8 of September 2012, Gwangju, South Korea.

Book

Coronato, Antonio, Hunter, Gordon, Augusto, Juan Carlos, Loureiro, Rui C. V., Egerton, Simon, Poslad, Stefan, Chessa, Stefano, Middleton, Stuart, Kymlinen, Tiina and Huang, Tony, eds. (2016) Proceedings: 12th international conference on Intelligent Environments (IE), 14-16 September, 2016, London, United Kingdom. Institute of Electrical and Electronics Engineers (IEEE). ISBN 9781509040568

This list was generated on Fri Sep 20 04:45:29 2019 BST.