Sfoglia per Autore Sessa, Mirko
Mostrati risultati da 1 a 3 di 3
From Electrical Switched Networks to Hybrid Automata
2016-01-01 Cimatti, Alessandro; Mover, S.; Sessa, Mirko
SMT-based analysis of switching multi-domain linear Kirchhoff networks
2017-01-01 Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks
2018-01-01 Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
From Electrical Switched Networks to Hybrid Automata | 1-gen-2016 | Cimatti, Alessandro; Mover, S.; Sessa, Mirko | |
SMT-based analysis of switching multi-domain linear Kirchhoff networks | 1-gen-2017 | Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko | |
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks | 1-gen-2018 | Cavada, Roberto; Cimatti, Alessandro; Mover, Sergio; Sessa, Mirko; Cadavero, Giuseppe; Scaglione, Giuseppe |
Mostrati risultati da 1 a 3 di 3
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