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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B
Redaktörer	F Ishikawa, A Romanovsky
Förlag	ACM CoRR
Sidor	–
Status	Publicerad - 2012
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	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 Varaktighet: 1 jan. 2012 → …

Konferens

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

Citera det här

@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. i F Ishikawa & A Romanovsky (red), Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B. ACM CoRR, s. –, 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. red. / F Ishikawa; A Romanovsky. ACM CoRR, 2012. s. –.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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 -