On the Use of Static Checking in the Verification of Interlocking Systems.

Anne E. Haxthausen, Peter H. stergaard

Browse the full ISoLA paper archive.