6 search results - page 2 / 2 » Hector: Software Model Checking with Cooperating Analysis Pl... |
204
Voted
CLIMA
2011
14 years 3 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...