登入選單
返回Google圖書搜尋
出版Université de Montréal, Département d'informatique et de recherche opérationnelle, 1989
URLhttp://books.google.com.hk/books?id=trkrHAAACAAJ&hl=&source=gbs_api
註釋Abstract: "The collection of Open Systems Interconnection (OSI) standards are intended to allow the connection of heterogeneous computer systems for a variety of applications. In this context, the protocol specifications are of particular importance, since they represent the standards which are the basis for the implementation and testing of compatible OSI systems. This paper has been written as a tutorial on questions related to protocol specifications. It provides certain basic definitions related to protocol specifications and specification languages. Special attention is given to the specification formalisms used for OSI protocol and service descriptions, including semi-formal languages such as state tables, ASN1 and TTCN, and formal description techniques (FDT's) such as Estelle, LOTOS, and SDL