Information processing systems — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model

Systèmes de traitement de l'information — Interconnexion de systèmes ouverts — Estelle: Technique de description formelle basée sur un modèle de transition d'état étendu