Compositional Verification of Multi-station Interlocking Systems.

Hugo Daniel Macedo, Alessandro Fantechi, Anne E. Haxthausen

Browse the full ISoLA paper archive.