Analysis of multi-agent systems based on KAOS modeling.

Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden

Browse the full ICSE paper archive.