
[IEEE 2010 Second International Conference on Knowledge and Systems Engineering (KSE) - Hanoi, Vietnam (2010.10.7-2010.10.9)] 2010 Second International Conference on Knowledge and Systems Engineering - A Runtime Approach to Verify Scenario in Multi-agent Systems
Trinh, Thanh-Binh, Pham, Quang-Thap, Truong, Ninh-Thuan, Nguyen, Viet-HaAnnée:
2010
Langue:
english
DOI:
10.1109/kse.2010.13
Fichier:
PDF, 211 KB
english, 2010