购物车
400-168-0010
【国际标准】 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
本网站 发布时间：
2025-01-04
开通会员免费在线看70000余条国内标准，赠送文本下载次数，单本最低仅合13.3元！还可享标准出版进度查询、定制跟踪推送、标准查新等超多特权！
查看详情>>
标准简介适用范围：
暂无
标准号：
ISO 8807:1989 EN
标准名称：
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
英文名称：
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour标准状态：
现行-
发布日期：
1989-02-09 -
实施日期：
出版语种：
EN
- 其它标准
- 上一篇： ISO 8805:1988 FR e9b764cf Information processing systems - Computer graphics - Graphical Kernel System for Three Dimensions (GKS-3D) functional description
- 下一篇： ISO 8807:1989 EN 96884b7d Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
