Runtime verification of multi-agent systems interaction quality

Since multi-agent systems are inherently complex, there are possibilities that errors related to multi-agent systems interaction could occur. Currently, many verification approaches have been proposed by focusing on specific properties, using a particular technique and during certain development pha...

全面介紹

Saved in:
書目詳細資料
Main Authors: Abu Bakar, Najwa, Selamat, Ali
格式: Conference or Workshop Item
出版: 2013
主題:
在線閱讀:http://eprints.utm.my/id/eprint/51292/
https://doi.org/10.1007/978-3-642-36546-1_45
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!