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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Tutkimustuotos: LehtiartikkeliArtikkeliTieteellinenvertaisarvioitu

    14 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    Sivut69–91
    JulkaisuInternational Journal of Critical Computer-Based Systems
    Vuosikerta4
    Numero1
    DOI - pysyväislinkit
    TilaJulkaistu - 2013
    OKM-julkaisutyyppiA1 Julkaistu artikkeli, soviteltu

    Viittausmuodot