Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System

A Tarasyuk, I Pereverzeva, Elena Troubitsyna, L Laibinis

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    8 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationProceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)
    RedaktörerA Gorbenko, A Romanovsky, V Kharchenko
    FörlagSpringer
    Sidor109–124
    ISBN (tryckt)978-3-642-40893-9
    StatusPublicerad - 2013
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangSERENE - 5th International Workshop, SERENE
    Varaktighet: 1 jan 2013 → …

    Konferens

    KonferensSERENE
    Period01/01/13 → …

    Citera det här