|
2.
SYNTAXE
[S]Maillet Méthode de test de protocoles - G. Bochmann
Les aspects de contrôle d'exécution sont définis par le modèle d'automates d'états finis {AEF} avec une
]
SYNTAXE
[
particulière: chaque Chaque module a une variable d'état major (en plus des variables manipulées par les énoncés {Pascal}).
|