BS ISO 8807-1990 信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时顺序的形式描述技术

作者:标准资料网 时间:2024-05-08 18:50:24  浏览:8177   来源:标准资料网

【英文标准名称】:Informationprocessingsystems.Opensystemsinterconnection.LOTOS.Aformaldescriptiontechniquebasedonthetemporalorderingofobservationalbehaviour
【原文标准名称】:信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时顺序的形式描述技术
【标准号】:BSISO8807-1990
【标准状态】:作废
【国别】:英国
【发布日期】:1990-12-31
【实施或试行日期】:
【发布单位】:英国标准学会(BSI)
【起草单位】:
【标准类型】:()
【标准水平】:()
【中文主题词】:元语言;系统论;计算机技术;句法;LOTOS;数据传输;数据处理;语义学;规范语言;开放系统互连
【英文主题词】:lotos;syntax;metalanguages;opensystemsinterconnection;dataprocessing;semantics;datatransmission;systemology;specificationlanguages;computertechnology
【摘要】:
【中国标准分类号】:L79
【国际标准分类号】:35_100_01
【页数】:
【正文语种】:英语