Tacchella, Alberto

Tacchella, Alberto  

Mostra records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autore(i) File
Computing Resilience Of Interconnected Systems By Piecewise Linear Lyapunov Functions 1-gen-2020 Tacchella, Alberto; Tacchella, Armando
Dynamic mode decomposition and Koopman spectral analysis of boundary layer separation-induced transition 1-gen-2021 Dotto, A.; Lengani, D.; Simoni, D.; Tacchella, A.
A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System 1-gen-2020 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Scaglione, Giuseppe; Susi, Angelo; Tacchella, Alberto; Tessi, Matteo
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems 1-gen-2022 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco