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

Informationsteknologi

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Professionell

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)
Redaktörer	N Ahmed, D Quercia, CD Jensen
Förlag	Technical University of Denmark
Sidor	339–355
Status	Publicerad - 2011
MoE-publikationstyp	D3 Professionella konferenshandlingar

Citera det här

@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). red. / N Ahmed; D Quercia; CD Jensen. Technical University of Denmark, 2011. s. 339–355.

Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Professionell

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 -