A Refinement-Based Approach to Developing Critical Multi-Agent Systems

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

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

    Citera det här