Improving Verification Process in Driverless Metro Systems: The MBAT Project.

Stefano Marrone, Roberto Nardone, Antonio Orazzo, Ida Petrone, Luigi Velardi

Browse the full ISoLA paper archive.