Model Checking Methodology for Supporting Safety Critical Software Development and Verification

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

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientific

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEnglanti
    OtsikkoReliability, Risk and Safety: Back to the Future
    AlaotsikkoEuropean Safety and Reliability Annual Conference ESREL 2010, Rhodes; Greece; 5-9 September 2010
    ToimittajatBen J.M. Ale, Ioannis A. Papazoglou, Enrico Zio
    Sivut2056-2063
    TilaJulkaistu - 2010
    OKM-julkaisutyyppiB3 Ei-soviteltu artikkeli konferenssin julkaisusarjassa

    Siteeraa tätä