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 2020-25-01 at 03:48