AVOLA, STEFANO
AVOLA, STEFANO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Confidential and Permissioned Blockchains for the logistics domain
2026-07-28 Avola, Stefano
Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems
2025-01-01 Ancona, D.; Avola, S.; Ferrando, A.; Baglietto, P.; Ter Beek, M. H.; Parodi, A.; Camera, G.; Pinasco, M.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Confidential and Permissioned Blockchains for the logistics domain | 28-lug-2026 | Avola, Stefano | |
| Integrating Testing with Runtime Verification for Mission-Critical Distributed Control Systems | 1-gen-2025 | Ancona, D.; Avola, S.; Ferrando, A.; Baglietto, P.; Ter Beek, M. H.; Parodi, A.; Camera, G.; Pinasco, M. |