Sessa, Mirko
Sessa, Mirko
ES
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.005 secondi).
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
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 |