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