Modelling and Analysing a PLC-Based Railway Traffic Control System

Kimmo Varpaaniemi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Original languageEnglish
    Title of host publicationCS&P 2003 Workshop, Czarna k. Ustrzyk Dolnych, Puola, 25.-27.9.2003
    EditorsLudwik Czaja
    Place of PublicationVarsova, Puola
    PublisherWarsaw University
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication


    • bounded model checking
    • formal methods
    • programmable logic controllers
    • railway traffic control

    Cite this