CSA Z243.102-1990 信息处理系统 - 开放系统互连 - 埃斯特尔：基于扩展状态转换模型的形式化描述技术
CSA Z243.102-1990 标准详情
- 标准号：CSA Z243.102-1990
- 中文标题：信息处理系统 - 开放系统互连 - 埃斯特尔：基于扩展状态转换模型的形式化描述技术
- 英文标题：Information Processing Systems - Open Systems Interconnection - Estelle: A Formal Description Technique Based On An Extended State Transition Model
- 标准类别：加拿大CSA
- 发布日期：
内容简介
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
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
