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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    18 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationDependable Computing Conference (EDCC), 2012 Ninth European
    RedaktörerMiguel Pupo Correia CC
    FörlagIEEE
    Sidor156–161
    ISBN (tryckt)978-1-4673-0938-7
    DOI
    StatusPublicerad - 2012
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangEuropean Dependable Computing Conference (EDCC) - Ninth European Dependable Computing Conference (EDCC), 2012
    Varaktighet: 8 maj 201211 maj 2012

    Konferens

    KonferensEuropean Dependable Computing Conference (EDCC)
    Period08/05/1211/05/12

    Citera det här