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

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

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

9 Sitaatiot (Scopus)

Alkuperäiskieli	Ei tiedossa
Otsikko	Reliable Software Technologies (Ada-Europe 2012)
Toimittajat	M Brorsson, LM Pinho
Kustantaja	Springer
Sivut	147–161
ISBN (painettu)	978-3-642-305
DOI - pysyväislinkit	https://doi.org/10.1007/978-3-642-30598-6_11
Tila	Julkaistu - 2012
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Reliable Software Technologies - International Conference on Reliable Software Technologies Kesto: 1 tammikuuta 2012 → …

Konferenssi	International Conference on Reliable Software Technologies
Ajanjakso	01/01/12 → …

Pääsy asiakirjaan

@inproceedings{a9441adff6444e62ace06acc0ee33e9b,

title = "Formal Goal-Oriented Development of Resilient MAS in Event-B",

author = "I Pereverzeva and Elena Troubitsyna and Inna Vistbakka",

year = "2012",

doi = "10.1007/978-3-642-30598-6_11",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-642-305",

pages = "147–161",

editor = "M Brorsson and LM Pinho",

booktitle = "Reliable Software Technologies (Ada-Europe 2012)",

publisher = "Springer",

note = "null ; Conference date: 01-01-2012",

}

TY - GEN

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

AU - Pereverzeva, I

AU - Troubitsyna, Elena

AU - Vistbakka, Inna

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-30598-6_11

DO - 10.1007/978-3-642-30598-6_11

M3 - Konferensbidrag

SN - 978-3-642-305

SP - 147

EP - 161

BT - Reliable Software Technologies (Ada-Europe 2012)

A2 - Brorsson, M

A2 - Pinho, LM

PB - Springer

Y2 - 1 January 2012

ER -