GDT4MAS : a formal model and language to specify and verify multiagent systems
type: Dataset
description: International audience
landing page: Verification and validation of multi-agent models for complex systems
keyword: conference-papers
keyword: gdt4mas
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: infoinfo-macomputer-science-csmultiagent-systems-csma
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: multiagent-systems
keyword: verification
issued: 2026-05-06T03:19:27.688258
modified: 2026-05-06T03:19:27.688263
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

GDT4MAS : a formal model and language to specify and verify multiagent systems
type: Distribution
format: HTML
access URL: https://hal.science/hal-00955956
issued: 2026-05-06T03:19:27.691639
modified: 2026-05-06T03:19:27.677142