Testing the Migration from Analog to Software-Based Railway Interlocking Systems.

Anna Becchi, Alessandro Cimatti, Giuseppe Scaglione

Browse the full CAV paper archive.