Formal Goal-Oriented Development of Resilient MAS in Event-B

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

9 Citeringar (Scopus)
OriginalspråkOdefinierat/okänt
Titel på gästpublikationReliable Software Technologies (Ada-Europe 2012)
RedaktörerM Brorsson, LM Pinho
FörlagSpringer
Sidor147–161
ISBN (tryckt)978-3-642-305
DOI
StatusPublicerad - 2012
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangInternational Conference on Reliable Software Technologies - International Conference on Reliable Software Technologies
Varaktighet: 1 jan 2012 → …

Konferens

KonferensInternational Conference on Reliable Software Technologies
Period01/01/12 → …

Citera det här