Compositional Verification of Interlocking Systems for Large Stations.

Alessandro Fantechi, Anne E. Haxthausen, Hugo Daniel Macedo

Browse the full SEFM paper archive.