Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.

Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia

Browse the full ISoLA paper archive.