A Survey of Safety-Oriented Model-Driven and Formal Development Approaches

Iuliia Prokhorova, Elena Troubitsyna

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

    2 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Sidor (från-till)93–118
    TidskriftInternational Journal of Critical Computer-Based Systems
    Volym4
    Utgåva2
    DOI
    StatusPublicerad - 2013
    MoE-publikationstypA1 Tidskriftsartikel-refererad

    Citera det här