Angelo Chiappini

Publication Activity (10 Years)

Years Active: 1999-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)
Angelo Chiappini, Alessandro Cimatti, Carmen Porzia, G. Rotondo, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita
Formal Specification and Development of a Safety-Critical Train Management System. SAFECOMP (1999)