Formal Analysis of the UNISIG Safety Application Intermediate Sub-layer - Applying Formal Methods to Railway Standard Interfaces.

Davide Basile, Alessandro Fantechi, Irene Rosadi

Browse the full FMICS paper archive.