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

7 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