DS/ISO/IEC 9074
Information technology - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model
inactive, Most Current
| Organization: | DS |
| Publication Date: | 12 February 1998 |
| Status: | inactive |
| ICS Code (Open systems interconnection in general): | 35.100.01 |
scope:
This International Standard defines the semantics and syntax of the Formal Description Technique Estelle. Estelle is in general used for the formal description of distributed, concurrent information processing systems.
Document History
DS/ISO/IEC 9074
February 12, 1998
Information technology - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model
This International Standard defines the semantics and syntax of the Formal Description Technique Estelle. Estelle is in general used for the formal description of distributed, concurrent information...
Related Products
Searching for related products...