Verification of Interlockings: from Control Tables to Ladder Logic Diagrams (1998)

by Wan Fokkink , Paul Hollingshead
Venue:Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems - FMICS'98
Citations:14 - 0 self