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

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B
Toimittajat	F Ishikawa, A Romanovsky
Kustantaja	ACM CoRR
Sivut	–
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	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 Kesto: 1 tammik. 2012 → …

Konferenssi

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

Viittausmuodot

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

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 -