美利体育登录入口官网:AS/NZS 4199:1994
信息处理系统．公开互联．LOTOS．一种基于观察行为的时间排序的形式描述技术
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
正版授权中国标准出版社正式授权销售可通过授权方官方渠道验证
- 标准号
- AS/NZS 4199:1994
- 发布
- 1994年
- 国际标准分类(ICS)
- 35.100.01 开放系统互连(OSI)综合
- 总页数
- 10页
- 发布单位
- 澳大利亚/新西兰标准
- 当前最新
- AS/NZS 4199:1994
- 引用标准
- AS 2777 ISO 7498 ISO 8807 ITU-T Z.100
- 本体
- 开放系统互连
- 适用范围
- 定义了一种形式化描述技术，该技术基于这样的假设：系统可以通过定义系统外部可观察行为中的事件之间的时间关系来描述，从而产生完整的系统描述，c
美利体育登录入口官网: AS/NZS 4199:1994相似标准
CSA Z243.101-89-CAN/CSA-1989 信息处理系统—开放系统互连—LOTOS— 一种基于暂时排序观察行为的形式描述技术
CSA Z243.101-1989(R2013) 信息处理系统 开放系统互连 LOTOS 一种基于观察行为时间顺序的形式化描述技术
KS C 5917-1993 信息处理系统-开放系统互连-LOTOS-一种基于观察行为时序的形式化描述技术
KS X 3003-1993(2018) 信息处理系统 - 开放系统互连 - LOTOS - 正式描述技术基于观察行为的时间排序
ISO 8807:1989 信息处理系统 开放系统互连 LOTOS并基于暂时排序观察行为的形式描述技术