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

D3 Professional conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
Editors: Ahmed N, Quercia D, Jensen CD
Publisher: Technical University of Denmark
Publication year: 2011
Publisher: Technical University of Denmark
Book title: Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)
Start page: 339
End page: 355

Last updated on 2019-20-10 at 02:42