ISO/IEC 9074:1997

Information technology — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model Amendment 1)

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