867441

CAN/CSA Z243.102-90 (R1996)

Information Processing Systems - Open Systems Interconnection - Estelle - A Formal Description Technique Based on an Extended State Transition Model (Adopted ISO 9074:1989)

standard by Canadian Standards Association / National Standard of Canada , 04/01/1990

View all product details

Most Recent

Track It

Language:
    • Available Formats
    •  
    • Availability
    • Priced From ( in USD )
    • Secure PDF 🔒
    • Immediate download
    • $184.00
    • Add to Cart
    • Printed Edition
    • Ships in 1-2 business days
    • $184.00
    • Add to Cart

Customers Who Bought This Also Bought

 

About This Item

 

Full Description

1 Scope and Field of Application 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 informati on processing systems. In particular Estelle can be used formally to describe the service definitions and protocol specifications of the layers of Open Systems Interconnection described in ISO 7498. This International Standard does not define methods for the verification of specifications written in Estelle.
 

Product Details

Published:
04/01/1990
Number of Pages:
179
File Size:
1 file , 6.2 MB
Note:
This product is unavailable in Russia, Ukraine, Belarus