A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    6 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationSoftware Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    Redaktörer Avgeriou, Paris
    FörlagSpringer
    Sidor16–31
    ISBN (elektroniskt)978-3-642-33176-3
    ISBN (tryckt)978-3-642-33175-6
    DOI
    StatusPublicerad - 2012
    MoE-publikationstypA4 Artikel i en konferenspublikation
    EvenemangInternational Workshop on Software Engineering for Resilient Systems, SERENE - 4th International Workshop on Software Engineering for Resilient Systems (SERENE'2012)
    Varaktighet: 27 sep 201228 sep 2012

    Konferens

    KonferensInternational Workshop on Software Engineering for Resilient Systems, SERENE
    Period27/09/1228/09/12

    Citera det här