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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    6 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoSoftware Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    Toimittajat Avgeriou, Paris
    KustantajaSpringer
    Sivut16–31
    ISBN (elektroninen)978-3-642-33176-3
    ISBN (painettu)978-3-642-33175-6
    DOI - pysyväislinkit
    TilaJulkaistu - 2012
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    TapahtumaInternational Workshop on Software Engineering for Resilient Systems, SERENE - 4th International Workshop on Software Engineering for Resilient Systems (SERENE'2012)
    Kesto: 27 syyskuuta 201228 syyskuuta 2012

    Konferenssi

    KonferenssiInternational Workshop on Software Engineering for Resilient Systems, SERENE
    Ajanjakso27/09/1228/09/12

    Viittausmuodot