Sfoglia per Autore Zamboni, Marco
Mostrati risultati da 1 a 2 di 2
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
2022-01-01 Amendola, Arturo; Becchi, Anna; Cavada, Roberto; Cimatti, Alessandro; Ferrando, Andrea; Pilati, Lorenzo; Scaglione, Giuseppe; Tacchella, Alberto; Zamboni, Marco
Symbolic Model Checking of Relative Safety LTL Properties
2024-01-01 Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| Symbolic Model Checking of Relative Safety LTL Properties | 1-gen-2024 | Bombardelli, Alberto; Cimatti, Alessandro; Tonetta, Stefano; Zamboni, Marco |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile