PASQUA, Michele
PASQUA, Michele
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
A Calculus for Attribute-Based Memory Updates
2021-01-01 Miculan, Marino; Pasqua, Michele
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
2024-01-01 Pasqua, M.; Miculan, M.
Distributed Programming of Smart Systems with Event-Condition-Action Rules
2022-01-01 Miculan, M.; Pasqua, M.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Calculus for Attribute-Based Memory Updates | 1-gen-2021 | Miculan, Marino; Pasqua, Michele | |
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems | 1-gen-2024 | Pasqua, M.; Miculan, M. | |
Distributed Programming of Smart Systems with Event-Condition-Action Rules | 1-gen-2022 | Miculan, M.; Pasqua, M. |