Original language | Undefined/Unknown |
---|---|
Title of host publication | Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011) |
Editors | N Ahmed, D Quercia, CD Jensen |
Publisher | Technical University of Denmark |
Pages | 339–355 |
Publication status | Published - 2011 |
MoE publication type | D3 Professional conference proceedings |
Development of a Dependable Multi-Agent System by Refinement in Event-B
Linas Laibinis, Elena Troubitsyna, Inna Vistbakka
Research output: Chapter in Book/Conference proceeding › Conference contribution › Professional