Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems.

Alessandro Fantechi

Browse the full FMICS paper archive.