vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments

Claudia Vannucchi, Michelangelo Diamanti, Gianmarco Mazzante, Diletta Romana Cacciagrano, Flavio Corradini, Rosario Culmone, Nikos Gorogiannis, Leonardo Mostarda, Franco Raimondi. vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. In 2017 International Conference on Intelligent Environments, IE 2017, Seoul, Korea (South), August 21-25, 2017. pages 92-99, IEEE, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.