Items where Author / Artist / Editor is "Cacciagrano, Diletta"
 | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos 
ORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713
(2017)
Symbolic verification of event–condition–action rules in intelligent environments.
Journal of Reliable Intelligent Environments, 3
(2)
.
pp. 117-130.
ISSN 2199-4668
[Article]
(doi:10.1007/s40860-017-0036-z)
