Modelling and Verification of Interlocking Systems for Railway Lines

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 10th IFAC Symposium on Control in Transportation Systems
    PublisherElsevier
    Publication date2004
    ISBN (Print)00-80-44059-2
    Publication statusPublished - 2004

    Cite this