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
    Pages539-549
    Publication statusPublished - 2003
    MoE publication typeA4 Article in a conference publication

    Keywords

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

    Cite this

    Varpaaniemi, K. (2003). Modelling and Analysing a PLC-Based Railway Traffic Control System. In L. Czaja (Ed.), CS&P 2003 Workshop, Czarna k. Ustrzyk Dolnych, Puola, 25.-27.9.2003 (pp. 539-549). Warsaw University.