Raffaele Corvino

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Model Validation

Industrial Applications

Top Venues

Publications

Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. CAV (2012)