Norm

ISO/IEC 9074:1997 en

Information technology - Open Systems Interconnection - Estelle: A format description technique based on an extended state transition model (ISO/IEC 9074:1997)

  • Deze norm is ingetrokken sinds 01-06-1999

164,52 199,07 Incl BTW

Over deze norm

Status Ingetrokken
Aantal pagina's 0
Commissie Programming languages , their environments and system software interfaces
Gepubliceerd op 01-12-1997
Taal Engels
Defines the semantics and syntax of the Formal Description Technique Estelle. Estelle is in general used for the formal description of distrubuted, concurrent information processing systems. In particular Estelle can be used formally to describe the service definitions and protocol specification of the layers of Open Systems Interconnection described in ISO/IEC 7498-1. This standard does not define methods for the verification of specifications written in Estelle.

Details

ICS-code 35.100.01
Engelse titel Information technology - Open Systems Interconnection - Estelle: A format description technique based on an extended state transition model (ISO/IEC 9074:1997)

Winkelwagen

Subtotaal:

Ga naar winkelwagen