Dataset - CKAN

GDT4MAS : a formal model and language to specify and verify multiagent systems

International audience
- HTML
GDT4MAS: a formal model and language to specify and verify agent-based comple...

International audience
- HTML
Les effets de bord des agents ne sont pas que le fruit du hasard

National audience
- HTML

You can also access this registry using the API (see API Docs).