Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks / Roberto, Cavada; Alessandro, Cimatti; Sergio, Mover; Sessa, Mirko; Giuseppe, Cadavero; Giuseppe, Scaglione. - (2018). (Intervento presentato al convegno FMCAD18 tenutosi a Austin, Texas nel 30th Oct-2nd Nov).

Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks

Sessa, Mirko;
2018-01-01

2018
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, Texas, October 30-November 2, 2018
Austin, Texas
IEEE
Roberto, Cavada; Alessandro, Cimatti; Sergio, Mover; Sessa, Mirko; Giuseppe, Cadavero; Giuseppe, Scaglione
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks / Roberto, Cavada; Alessandro, Cimatti; Sergio, Mover; Sessa, Mirko; Giuseppe, Cadavero; Giuseppe, Scaglione. - (2018). (Intervento presentato al convegno FMCAD18 tenutosi a Austin, Texas nel 30th Oct-2nd Nov).
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/218052
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 6
social impact