|
1.
STOCKÉES
[S]Maillet Méthode de test de protocoles - G. Bochmann
Les interactions de sortie d'un module sont
]
STOCKÉES
[
dans une file d'entrée du module récepteur avant que ce dernier n'effectue une transition qui consomme l'interaction en question.
|