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

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    6 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationSoftware Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
    Editors Avgeriou, Paris
    PublisherSpringer
    Pages16–31
    ISBN (Electronic)978-3-642-33176-3
    ISBN (Print)978-3-642-33175-6
    DOIs
    Publication statusPublished - 2012
    MoE publication typeA4 Article in a conference publication
    EventInternational Workshop on Software Engineering for Resilient Systems, SERENE - 4th International Workshop on Software Engineering for Resilient Systems (SERENE'2012)
    Duration: 27 Sep 201228 Sep 2012

    Conference

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

    Cite this