CSA Z243.102 : 0
Withdrawn
A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.
INFORMATION PROCESSING SYSTEMS - OPEN SYSTEMS INTERCONNECTION - ESTELLE: A FORMAL DESCRIPTION TECHNIQUE BASED ON AN EXTENDED STATE TRANSITION MODEL
Hardcopy , PDF
01-07-2001
English
Covers the Formal Description Technique Estelle and covers the syntax and semantics. In general Estelle is used for the formal description of distributed, concurrent information processing systems. Estelle can be used to formally describe the service definitions and protocol specifications of the layers of Open Systems Interconnection as defined in ISO 7498. Methods for the verification of specifications written in Estelle are not included.
Important note : All end users must be registered with an Account prior to user licenses being assigned.Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.