ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario.

Rim Saddem-Yagoubi, Julie Beugin, Mohamed Ghazel

Browse the full VECoS paper archive.