Symbolic verification of event-condition-action rules in intelligent environments.

Claudia Vannucchi Michelangelo Diamanti Gianmarco Mazzante Diletta Cacciagrano Rosario Culmone Nikos Gorogiannis Leonardo Mostarda Franco Raimondi

Published in: J. Reliab. Intell. Environ. (2017)

Keyphrases