First Page | Document Content | |
---|---|---|
Date: 2015-11-05 09:29:18Modeling and simulation Multi-agent systems Simulation Artificial intelligence Systems science Model checking Agent-based model Economic model Intelligent agent MAS | Model Checking Multiagent Systems MAS for Security Multiagent System-based Verification of Security and PrivacyAdd to Reading ListSource URL: cgi.csc.liv.ac.ukDownload Document from Source WebsiteFile Size: 952,20 KBShare Document on Facebook |