CSA Z243.101-89-CAN/CSA-1989
信息处理系统—开放系统互连—LOTOS— 一种基于暂时排序观察行为的形式描述技术

Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 CSA Z243.101-89-CAN/CSA-1989 前三页，或者稍后再访问。

如果您需要购买此标准的全文，请联系： 。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

CSA Z243.101-89-CAN/CSA-1989

发布日期

1989年08月01日

实施日期

废止日期

无

中国标准分类号

L79

发布单位

CA-CSA

适用范围

Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour