BS ISO 8807-1989 信息处理系统.开式系统互连.lotos.基于观察特性的暂时顺序的形式描述技术
BS ISO 8807-1989 标准详情
- 标准号：BS ISO 8807-1989
- 中文标题：信息处理系统.开式系统互连.lotos.基于观察特性的暂时顺序的形式描述技术
- 英文标题：information processing systems. open systems interconnection. lotos. a formal description technique based on the temporal ordering of observational behaviour
- 标准类别：英国标准
- 发布日期：
内容简介
Technique that is in general use for the formal description of distributed concurrent information processing systems. In particular the service definitions and protocol specifications described in BS 6568 can be described formally in LOTOS.
* 特别声明：资源收集自网络或用户上传，本网站所提供的电子文本仅供参考，请以正式出版物为准。仅供个人标准化学习，研究使用。如有侵权，请及时联系我们！
