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

Inna Pereverzeva; Elena Troubitsyna; Linas Laibinis

doi:10.1007/978-3-642-33176-3_2

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 proceeding › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings
Editors	Avgeriou, Paris
Publisher	Springer
Pages	16–31
ISBN (Electronic)	978-3-642-33176-3
ISBN (Print)	978-3-642-33175-6
DOIs	https://doi.org/10.1007/978-3-642-33176-3_2
Publication status	Published - 2012
MoE publication type	A4 Article in a conference publication
Event	International Workshop on Software Engineering for Resilient Systems, SERENE - 4th International Workshop on Software Engineering for Resilient Systems (SERENE'2012) Duration: 27 Sept 2012 → 28 Sept 2012

Conference

Conference	International Workshop on Software Engineering for Resilient Systems, SERENE
Period	27/09/12 → 28/09/12

Access to Document

10.1007/978-3-642-33176-3_2

Cite this

@inproceedings{97b05b034fb34fc7b48b4b9ff6aa7cb2,

title = "A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System",

author = "Inna Pereverzeva and Elena Troubitsyna and Linas Laibinis",

year = "2012",

doi = "10.1007/978-3-642-33176-3_2",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-33175-6",

pages = "16–31",

editor = "Avgeriou and Paris",

booktitle = "Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings",

publisher = "Springer",

note = "International Workshop on Software Engineering for Resilient Systems, SERENE ; Conference date: 27-09-2012 Through 28-09-2012",

}

Pereverzeva, I, Troubitsyna, E & Laibinis, L 2012, A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System. in Avgeriou & Paris (eds), Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. Springer, pp. 16–31, International Workshop on Software Engineering for Resilient Systems, SERENE, 27/09/12. https://doi.org/10.1007/978-3-642-33176-3_2

A Case Study in Formal Development of a Fault Tolerant Multi-Robotic System. / Pereverzeva, Inna; Troubitsyna, Elena; Laibinis, Linas.
Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings. ed. / Avgeriou; Paris. Springer, 2012. p. 16–31.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Pereverzeva, Inna

AU - Troubitsyna, Elena

AU - Laibinis, Linas

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-33176-3_2

DO - 10.1007/978-3-642-33176-3_2

M3 - Konferensbidrag

SN - 978-3-642-33175-6

SP - 16

EP - 31

BT - Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

A2 - Avgeriou, null

A2 - Paris, null

PB - Springer

T2 - International Workshop on Software Engineering for Resilient Systems, SERENE

Y2 - 27 September 2012 through 28 September 2012

ER -