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

I Pereverzeva, Elena Troubitsyna, Inna Vistbakka

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

9 Sitaatiot (Scopus)
AlkuperäiskieliEi tiedossa
OtsikkoReliable Software Technologies (Ada-Europe 2012)
ToimittajatM Brorsson, LM Pinho
KustantajaSpringer
Sivut147–161
ISBN (painettu)978-3-642-305
DOI - pysyväislinkit
TilaJulkaistu - 2012
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaInternational Conference on Reliable Software Technologies - International Conference on Reliable Software Technologies
Kesto: 1 tammikuuta 2012 → …

Konferenssi

KonferenssiInternational Conference on Reliable Software Technologies
Ajanjakso01/01/12 → …

Viittausmuodot