• Aucun résultat trouvé

A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

N/A
N/A
Protected

Academic year: 2021

Partager "A Stepwise Refinement based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants"

Copied!
31
0
0

Texte intégral

Figure

Figure 1 The machine structure in Event-B
Figure 5 The SOMAS modelling at the micro level: the machine M icroLevel
Figure 6 The abstract formalization of the system macro behaviour
Figure 7 The SOMAS modelling at the macro level: the machine M acroLevel
+7

Références

Documents relatifs