共 50 条
- [1] Multi-agent Verification of RFID System NEW CHALLENGES IN COMPUTATIONAL COLLECTIVE INTELLIGENCE, 2009, 244 : 255 - 268
- [2] Formal Modeling and Verification of Multi-Agent System Architecture 2013 AASRI CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING AND SYSTEMS, 2013, 5 : 126 - 132
- [3] A multi-agent architecture for RFID taxonomy KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS: KES 2007 - WIRN 2007, PT III, PROCEEDINGS, 2007, 4694 : 917 - +
- [4] Architecture of Multi-Agent System 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING ELEARNING TECHNOLOGIES AND APPLICATIONS (ICETA 2012), 2012, : 387 - 390
- [5] Pushdown Multi-Agent System Verification PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 1090 - 1096
- [6] A sociological framework for multi-agent systems validation and verification' CONCEPTUAL MODELING FOR ADVANCED APPLICATION DOMAINS, PROCEEDINGS, 2004, 3289 : 458 - 469
- [8] The multi-agent system architecture in SEWASIE JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, 2005, 5 (04): : 225 - 231
- [9] Specification and verification of knowledge in a multi-agent system PROCEEDINGS OF THE 16TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING, 2007, : 168 - +
- [10] MULTI-AGENT SYSTEM BUILT USING RFID TECHNOLOGY ELECTRICAL AND CONTROL TECHNOLOGIES, 2011, : 15 - +