Alkuperäiskieli | Ei tiedossa |
---|---|
Otsikko | Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2011) |
Toimittajat | N Ahmed, D Quercia, CD Jensen |
Kustantaja | Technical University of Denmark |
Sivut | 339–355 |
Tila | Julkaistu - 2011 |
OKM-julkaisutyyppi | D3 Ammatillisen konferenssin julkaisusarja |
Development of a Dependable Multi-Agent System by Refinement in Event-B
Linas Laibinis, Elena Troubitsyna, Inna Vistbakka
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Ammatillinen