vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Claudia Vannucchi' in GoogleThis author has not been identified. Look up 'Michelangelo Diamanti' in GoogleThis author has not been identified. Look up 'Gianmarco Mazzante' in GoogleThis author has not been identified. Look up 'Diletta Romana Cacciagrano' in GoogleThis author has not been identified. Look up 'Flavio Corradini' in GoogleThis author has not been identified. Look up 'Rosario Culmone' in GoogleThis author has not been identified. Look up 'Nikos Gorogiannis' in GoogleThis author has not been identified. Look up 'Leonardo Mostarda' in GoogleThis author has not been identified. Look up 'Franco Raimondi' in Google

runs on WebDSL