Contract-Based Analysis for Verification of Communication-Based Train Control (CBTC) System.

Marco Carloni, Orlando Ferrante, Alberto Ferrari, Gianpaolo Massaroli, Antonio Orazzo, Ida Petrone, Luigi Velardi

Browse the full SAFECOMP paper archive.