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

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

AlkuperäiskieliEi tiedossa
OtsikkoProceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B
ToimittajatF Ishikawa, A Romanovsky
KustantajaACM CoRR
Sivut
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaDS-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 tammikuuta 2012 → …

Konferenssi

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

Viittausmuodot