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

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Tarasyuk A, Pereverzeva I, Troubitsyna E, Laibinis L
Editors: Gorbenko A, Romanovsky A, Kharchenko V
Publisher: Springer-Verlag Berlin Heidelberg
Publication year: 2013
Publisher: Springer
Book title: Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)
Title of series: Lecture Notes in Computer Science
Volume number: 8166
Start page: 109
End page: 124
ISBN: 978-3-642-40893-9

Last updated on 2019-18-09 at 06:14