BS ISO 8807-1990 标准详情
- 标准号：BS ISO 8807-1990
- 中文标题：信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时顺序的形式描述技术
- 英文标题：information processing systems. open systems interconnection. lotos. a formal description technique based on the temporal ordering of observational behaviour
- 标准类别：英国标准
- 发布日期：1990-12-31
