Lorenzo Pilati

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Complex Systems

Top Venues

Publications

Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni
NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) (2022)