http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O65840831
2015년
eng
1548-8403
학술저널
Proceedings of the international joint conference on autonomous agents and multiagent systems
367-376 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
Autonomous agents and multiagent systems (International conference)
Istanbul, Turkey
May 2015
0
상세조회0
다운로드
Verifying Multi-Agent Systems by Model Checking Three-Valued Abstractions
Monitoring Hierarchical Agent-based Simulation Traces
Parameterised Verification of Autonomous Mobile-Agents in Static But Unknown Environments
Particle Field Optimization: A New Paradigm for Swarm Intelligence