Automatic Verification of Railway Interlocking Systems: A Case Study

Jakob Lyng Petersen

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Fingerprint

    Dive into the research topics of 'Automatic Verification of Railway Interlocking Systems: A Case Study'. Together they form a unique fingerprint.

    Keyphrases

    Computer Science