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

Linas Laibinis, Elena Troubitsyna, Inna Vistbakka

Research output: Chapter in Book/Conference proceedingConference contributionProfessional

Original languageUndefined/Unknown
Title of host publicationProceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011)
EditorsN Ahmed, D Quercia, CD Jensen
PublisherTechnical University of Denmark
Pages339–355
Publication statusPublished - 2011
MoE publication typeD3 Professional conference proceedings

Cite this