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

Linas Laibinis, Elena Troubitsyna, Inna Vistbakka

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragProfessionell

OriginalspråkOdefinierat/okänt
Titel på gästpublikationProceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)
RedaktörerN Ahmed, D Quercia, CD Jensen
FörlagTechnical University of Denmark
Sidor339–355
StatusPublicerad - 2011
MoE-publikationstypD3 Professionella konferenshandlingar

Citera det här