Luca Macchi

Publication Activity (10 Years)

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

Publications

Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini
Formalization and validation of a subset of the European Train Control System. ICSE (2) (2010)