Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

I Pereverzeva; Elena Troubitsyna; Inna Vistbakka

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

Information Technology

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

Original language	Undefined/Unknown
Title of host publication	Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B
Editors	F Ishikawa, A Romanovsky
Publisher	ACM CoRR
Pages	–
Publication status	Published - 2012
MoE publication type	A4 Article in a conference publication
Event	DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B - DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B Duration: 1 Jan 2012 → …

Conference

Conference	DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B
Period	01/01/12 → …

Cite this

@inproceedings{2a92a58def914bf599a1a9b73af3d478,

title = "Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B",

author = "I Pereverzeva and Elena Troubitsyna and Inna Vistbakka",

year = "2012",

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

pages = "–",

editor = "F Ishikawa and A Romanovsky",

booktitle = "Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B",

publisher = "ACM CoRR",

note = "DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B ; Conference date: 01-01-2012",

}

Pereverzeva, I, Troubitsyna, E & Vistbakka, I 2012, Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. in F Ishikawa & A Romanovsky (eds), Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B. ACM CoRR, pp. –, DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, 01/01/12.

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B. / Pereverzeva, I; Troubitsyna, Elena; Vistbakka, Inna.
Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B. ed. / F Ishikawa; A Romanovsky. ACM CoRR, 2012. p. –.

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

TY - GEN

T1 - Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B

AU - Pereverzeva, I

AU - Troubitsyna, Elena

AU - Vistbakka, Inna

PY - 2012

Y1 - 2012

M3 - Konferensbidrag

SP - –

BT - Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B

A2 - Ishikawa, F

A2 - Romanovsky, A

PB - ACM CoRR

T2 - DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B

Y2 - 1 January 2012

ER -