ISO 9074:1989/Amd.1:1993 Information processing systems; Open Systems Interconnection; Estelle: a formal description technique based on an extended state transition model; amendment 1: tutorial on Estelle
Information processing systems; Open Systems Interconnection; Estelle: a formal description technique based on an extended state transition model; amendment 1: tutorial on Estelle