CICIRELLI, FRANCO DOMENICO
CICIRELLI, FRANCO DOMENICO
Istituto di Calcolo e Reti ad Alte Prestazioni - ICAR
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems
2018 Cicirelli F.; Fortino G.; Guerrieri A.; Spezzano G.; Vinci A.
Exploiting model continuity in agent-based cyber-physical systems
2017 Carni, Dl; Cicirelli, F; Grimaldi, D; Nigro, L; Sciammarella, Pf
Model checking mutual exclusion algorithms using UPPAAL
2016 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Scalable Agent-Based Smart Environment for Edge-Based Urban IoT Systems | 1-gen-2018 | Cicirelli F.; Fortino G.; Guerrieri A.; Spezzano G.; Vinci A. | |
Exploiting model continuity in agent-based cyber-physical systems | 1-gen-2017 | Carni, Dl; Cicirelli, F; Grimaldi, D; Nigro, L; Sciammarella, Pf | |
Model checking mutual exclusion algorithms using UPPAAL | 1-gen-2016 | Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F. |