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

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Redaktörer: Avgeriou, Paris
Förläggare: Springer-Verlag Berlin Heidelberg
Publiceringsår: 2012
Förläggare: Springer
Moderpublikationens namn: Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Seriens namn: Lecture Notes in Computer Science
Nummer i serien: 7527
Artikelns första sida, sidnummer: 16
Artikelns sista sida, sidnummer: 31
ISBN: 978-3-642-33175-6
eISBN: 978-3-642-33176-3
ISSN: 0302-9743

Senast uppdaterad 2019-15-12 vid 03:55