مؤتمر
A modeling and verification method to multi-agent systems based on KQML
العنوان: | A modeling and verification method to multi-agent systems based on KQML |
---|---|
المؤلفون: | Luo, Xiangyu, Mengmeng Zou, Lingjie Luo |
المصدر: | 2012 IEEE Symposium on Electrical & Electronics Engineering (EEESYM) Electrical & Electronics Engineering (EEESYM), 2012 IEEE Symposium on. :690-693 Jun, 2012 |
Relation: | 2012 IEEE Symposium on Electrical & Electronics Engineering (EEESYM) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781467323635 9781467323642 9781467323659 |
---|---|
DOI: | 10.1109/EEESym.2012.6258753 |