A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.

Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccol Zingoni

Browse the full FM paper archive.