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...

詳細記述

保存先:
書誌詳細
主要な著者: 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
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!