Formal Modeling and Verification of Multi-agent System Architecture
Yuan, Ling, Fan, PingVolume:
5
Year:
2013
Language:
english
Journal:
AASRI Procedia
DOI:
10.1016/j.aasri.2013.10.068
File:
PDF, 212 KB
english, 2013