标准摘要 当前记录暂无摘要。 展开完整摘要 英文名称Information processing systems - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model