VANNUCCHI, CLAUDIA
VANNUCCHI, CLAUDIA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Analysis and verification of ECA rules in intelligent environments
2018-01-01 Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco; Vannucchi, Claudia
Symbolic verification of event–condition–action rules in intelligent environments
2017-01-01 Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Analysis and verification of ECA rules in intelligent environments | 1-gen-2018 | Cacciagrano, Diletta Romana; Corradini, Flavio; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco; Vannucchi, Claudia | Articolo | |
Symbolic verification of event–condition–action rules in intelligent environments | 1-gen-2017 | Vannucchi, Claudia; Diamanti, Michelangelo; Mazzante, Gianmarco; Cacciagrano, Diletta Romana; Culmone, Rosario; Gorogiannis, Nikos; Mostarda, Leonardo; Raimondi, Franco | Articolo | |
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs | 1-gen-2016 | Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo | Contributo in atto di convegno su volume |