ISO 8807 DRAFT AMD 1-1992 标准详情
- 标准号：ISO 8807 DRAFT AMD 1-1992
- 中文标题：G- LOTOS ：信息处理系统开放系统互连 - LOTOS - 一个基于观测的行为修正1时间排序形式化描述方法
- 英文标题：information processing systems-open systems interconnection-lotos-a formal description technique based on the temporal ordering of observational behaviour amendment 1:g-lotos
- 标准类别：国际标准化组织标准ISO
- 发布日期：1992-10-30
