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

D3 Professionell konferenspublikation


Interna författare/redaktörer


Publikationens författare: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Redaktörer: Ahmed N, Quercia D, Jensen CD
Förläggare: Technical University of Denmark
Publiceringsår: 2011
Förläggare: Technical University of Denmark
Moderpublikationens namn: Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)
Artikelns första sida, sidnummer: 339
Artikelns sista sida, sidnummer: 355

Senast uppdaterad 2019-11-12 vid 04:12