Formal Development of Critical Multi-Agent Systems: A Refinement Approach

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    19 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoDependable Computing Conference (EDCC), 2012 Ninth European
    ToimittajatMiguel Pupo Correia CC
    KustantajaIEEE
    Sivut156–161
    ISBN (painettu)978-1-4673-0938-7
    DOI - pysyväislinkit
    TilaJulkaistu - 2012
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaEuropean Dependable Computing Conference (EDCC) - Ninth European Dependable Computing Conference (EDCC), 2012
    Kesto: 8 toukokuuta 201211 toukokuuta 2012

    Konferenssi

    KonferenssiEuropean Dependable Computing Conference (EDCC)
    Ajanjakso08/05/1211/05/12

    Viittausmuodot