Model checking methodology for verification of safety logics

Janne Valkonen, Kim Björkman, Juho Frits, Ilkka Niemelä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientific

    AlkuperäiskieliEnglanti
    OtsikkoThe 6th International Conference on Safety of Industrial Automated Systems, SIAS 2010, Tampere 14.-15.6.2010
    TilaJulkaistu - 2010
    OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

    Tutkimusalat

    • digital I&C
    • model checking
    • safety logic
    • verification

    Siteeraa tätä