【国际标准】 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour

标准号：

ISO 8807:1989 EN

标准名称：

Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour

英文名称：

标准状态：

发布日期：

实施日期：

出版语种：

标准ICS号：

中标分类号：

替代以下标准：

被以下标准替代：

引用标准：

采用标准：

页数：

字数：

开本：

起草人：

起草单位：

归口单位：

提出部门：

发布部门：