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

A Tarasyuk, I Pereverzeva, Elena Troubitsyna, L Laibinis

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

    12 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationProceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)
    EditorsA Gorbenko, A Romanovsky, V Kharchenko
    PublisherSpringer
    Pages109–124
    ISBN (Print)978-3-642-40893-9
    Publication statusPublished - 2013
    MoE publication typeA4 Article in a conference publication
    EventSERENE - 5th International Workshop, SERENE
    Duration: 1 Jan 2013 → …

    Conference

    ConferenceSERENE
    Period01/01/13 → …

    Cite this