你好
,欢迎来到试验技术专业知识服务系统
平台首页
中国工程院
中国工程科技知识中心
切换导航
首页
专题服务
认证认可
应急专栏
标准物质
仪器仪表
汽车
增材制造
专业工具服务
临界差在线计算
质控图在线生成
稳健统计
F检验
t检验
尧敦图
不确定度在线计算
资源服务
检测实验室服务能力查询
校准实验室服务能力查询
检测机构需求VS能力验证服务工具
实验室仪器对比查询
能力验证服务一览表和查询服务
优质检测机构Top10
试验人员能力查询
CSTM质量评价结果发布平台
数据分析可视化
试验方法对比
机构能力变化趋势分析
机构间技术能力对比
标准适用性对比
实验室综合能力评价
产品质量检测技术能力评价
行业资讯
登录 / 注册
信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时顺序的形式描述技术
标准编号
BS ISO 8807-1989
中图分类号
ICS分类号
发布单位
英国标准学会(GB-BSI)
状态
作废
标准类别
国际标准
相似标准
信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时顺序的形式描述技术
(BS ISO 8807-1990)
信息处理系统 开放系统互连 LOTOS并基于暂时排序观察行为的形式描述技术
(ISO 8807-1989)
信息处理系统.开放系统互连.Estelle:基于扩延态转换模型形式描述技术
(BS ISO 9074-1989)
信息处理系统.开式系统互连.基本参考模型.第4部分:管理体系.法文版
(BS ISO/IEC 7498-4-1989)
信息技术.开式系统互连.对话协议书的LOTOS描述法
(BS ISO/IEC TR 9572-1989)
信息技术.开式系统互连.对话设施的LOTOS 描述法
(BS ISO/IEC TR 9571-1989)
信息处理系统.开式系统互连.基本参考模型.管理结构
(BS ISO/IEC 7498-4-1991)
信息处理系统.开放式系统互连.文件输送、存取和管理.第5部分:协议执行一致性陈述形式
(BS ISO/IEC 8571-5-1991)
信息处理系统.开放系统互连.Estelle:基于扩延态转换模型形式描述技术
(BS ISO 9074-1990)
信息技术.开式系统互连.对话协议书的LOTOS描述法
(BS ISO/IEC TR 9572-1990)
×
我的收藏-提示信息
已有收藏
:
新增
: