Formal Description Approach for Agent-Based Mobile Computing

Cong Xu, Jinkui Hou. Formal Description Approach for Agent-Based Mobile Computing. In AIAM2020: 2nd International Conference on Artificial Intelligence and Advanced Manufacture, Manchester, United Kingdom, October 15-17, 2020. pages 222-229, ACM, 2020. [doi]

Abstract

Abstract is missing.