A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Editors: Avgeriou, Paris
Publisher: Springer-Verlag Berlin Heidelberg
Publication year: 2012
Publisher: Springer
Book title: Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Title of series: Lecture Notes in Computer Science
Number in series: 7527
Start page: 16
End page: 31
ISBN: 978-3-642-33175-6
eISBN: 978-3-642-33176-3
ISSN: 0302-9743

Last updated on 2019-22-07 at 05:50