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

A Tarasyuk, I Pereverzeva, Elena Troubitsyna, L Laibinis

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

13 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)
Editors	A Gorbenko, A Romanovsky, V Kharchenko
Publisher	Springer
Pages	109–124
ISBN (Print)	978-3-642-40893-9
Publication status	Published - 2013
MoE publication type	A4 Article in a conference publication
Event	SERENE - 5th International Workshop, SERENE Duration: 1 Jan 2013 → …

Conference	SERENE
Period	01/01/13 → …

Cite this

@inproceedings{cf773fa359584cfc8234011decb5308a,

title = "Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System",

author = "A Tarasyuk and I Pereverzeva and Elena Troubitsyna and L Laibinis",

year = "2013",

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

isbn = "978-3-642-40893-9",

pages = "109–124",

editor = "A Gorbenko and A Romanovsky and V Kharchenko",

booktitle = "Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)",

publisher = "Springer",

note = "SERENE ; Conference date: 01-01-2013",

}

Formal Development and Quantitative Assessment of a Resilient Multi-Robotic System. / Tarasyuk, A; Pereverzeva, I; Troubitsyna, Elena et al.
Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013). ed. / A Gorbenko; A Romanovsky; V Kharchenko. Springer, 2013. p. 109–124.

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

TY - GEN

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

AU - Tarasyuk, A

AU - Pereverzeva, I

AU - Troubitsyna, Elena

AU - Laibinis, L

PY - 2013

Y1 - 2013

M3 - Konferensbidrag

SN - 978-3-642-40893-9

SP - 109

EP - 124

BT - Proceedings of the 5th International Workshop on Software Engineering for Resilient Systems (SERENE 2013)

A2 - Gorbenko, A

A2 - Romanovsky, A

A2 - Kharchenko, V

PB - Springer

T2 - SERENE

Y2 - 1 January 2013

ER -