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

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

OriginalspråkOdefinierat/okänt
Titel på gästpublikationProceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B
RedaktörerF Ishikawa, A Romanovsky
FörlagACM CoRR
Sidor
StatusPublicerad - 2012
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangDS-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

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

Citera det här