Modelling and Analysing a PLC-Based Railway Traffic Control System

Kimmo Varpaaniemi

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

    AlkuperäiskieliEnglanti
    OtsikkoCS&P 2003 Workshop, Czarna k. Ustrzyk Dolnych, Puola, 25.-27.9.2003
    ToimittajatLudwik Czaja
    JulkaisupaikkaVarsova, Puola
    KustantajaWarsaw University
    Sivut539-549
    TilaJulkaistu - 2003
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa

    Tutkimusalat

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

    Siteeraa tätä