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

von Basile, Davide
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)