Supporting Railway Innovations with Formal Modelling and Verification.

Bas Luttik

Browse the full FMICS paper archive.