• Aucun résultat trouvé

Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B

N/A
N/A
Protected

Academic year: 2021

Partager "Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B"

Copied!
16
0
0

Texte intégral

Loading

Figure

Fig. 1. Event-B machine and context

Références

Documents relatifs

membrane fl uidity for heat resistance and cold tolerance, and rpoS activity for bacterial re- sistance to oxidative, osmotic and acid stress among others in Entero-

We observed from tongue contour tracings that the Mid Bunched configuration generally has a lower tongue tip than the Front Bunched one in speakers who present both bunched

A targeted online survey of the food and health science community was disseminated via IFIS to their customers via email, and a LinkedIn blog post, in order to discover more

Inspection of the means shows that respondents with a high level of trust in governance have a more positive attitude toward GM food compared to those with a relatively low level

At a primary level, the growth of regulatory pressure, in the wake of the health scandals that punctuated the century, thus led to the strict upstream control by public authorities

In addition, future research should focus on discerning to what degree taste preferences developed in infancy and early childhood endure into adolescence and adulthood; as well

6 The Child Food Rejection Scale is a short and easy-to-administer scale, in which caregivers respond for their child. It was developed to enable the assessment of food neophobia

Average latency (±SEM) to the platform on the Morris water maze task blocked into six days of eight trials per day for Experiment Two.. Results from the retention probe on the