Development of a Dependable Multi-Agent System by Refinement in Event-B

Linas Laibinis; Elena Troubitsyna; Inna Vistbakka

Development of a Dependable Multi-Agent System by Refinement in Event-B

Linas Laibinis
, Elena Troubitsyna
, Inna Vistbakka

Informaatioteknologia

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Ammatillinen

Alkuperäiskieli	Ei tiedossa
Otsikko	Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)
Toimittajat	N Ahmed, D Quercia, CD Jensen
Kustantaja	Technical University of Denmark
Sivut	339–355
Tila	Julkaistu - 2011
OKM-julkaisutyyppi	D3 Ammatillisen konferenssin julkaisusarja

Viittausmuodot

@inproceedings{ce9ee3bdd32e458aadc65f9ec034618a,

title = "Development of a Dependable Multi-Agent System by Refinement in Event-B",

author = "Linas Laibinis and Elena Troubitsyna and Inna Vistbakka",

year = "2011",

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

pages = "339–355",

editor = "N Ahmed and D Quercia and CD Jensen",

booktitle = "Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)",

publisher = "Technical University of Denmark",

}

Development of a Dependable Multi-Agent System by Refinement in Event-B. / Laibinis, Linas; Troubitsyna, Elena; Vistbakka, Inna.
Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011). toim. / N Ahmed; D Quercia; CD Jensen. Technical University of Denmark, 2011. s. 339–355.

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Ammatillinen

TY - GEN

T1 - Development of a Dependable Multi-Agent System by Refinement in Event-B

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Vistbakka, Inna

PY - 2011

Y1 - 2011

M3 - Publicerad konferensartikel

SP - 339

EP - 355

BT - Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)

A2 - Ahmed, N

A2 - Quercia, D

A2 - Jensen, CD

PB - Technical University of Denmark

ER -