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
  • Deze norm is niet direct leverbaar vanuit de NEN-shop.
    Wilt u dit product bestellen neemt u dan contact op met NEN-klantenservice: (015) 2 690 391 of klantenservice@nen.nl

Over deze norm

Status Ingetrokken
Aantal pagina's 241
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
Nederlandse titel Information technology - Open Systems Interconnection - Estelle: A format description technique based on an extended state transition model (ISO/IEC 9074:1997)
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