Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs
2016-01-01 Vannucchi, Claudia; Cacciagrano, Diletta Romana; Culmone, Rosario; Mostarda, Leonardo
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
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
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
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 | |
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 | |
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 |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile