BRAGETTI, DAVIDE
BRAGETTI, DAVIDE
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
Mostra
prodotti
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| The Intersection Algebra of Safety, Cosafety, Liveness, and Coliveness over Linear Temporal Logic | 2026 | Bragetti, Davide | |
| Touch and Crossing: Dual Primitive Modalities of Threshold Monitors | 2026 | Bragetti, Davide |