标准编号：ISO 8807:1989
中文名称：信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时次序的形式描述技术
英文名称：Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
发布日期：1989-02
ISO 8807:1989 信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时次序的形式描述技术
立即下载标准文件大家都在看
- ISO 7935:1992 固式辐射源.二氧化硫浓缩量测定.性能特性自动测量方法
- ISO/IEC 14763-4:2021 信息技术 客户场所布线的实施和操作 第4部分：端到端（E2E）连接、模块化插头端连接（MPTLs）和直接连接布线的测量
- ISO 4037-2:2019 放射防护 标定剂量计和剂量计并确定其作为光子能量函数的响应的X和伽玛参考辐射 第2部分：能量范围从8kev到1,3 MeV和4 MeV到9 MeV的辐射防护剂量学
- ISO/IEC 11179-31:2023 信息技术 元数据注册（MDR） 第31部分：数据规范注册的元模型
- ISO/TS 13399-50:2007 切削工具数据的表示和交换 第50部分：用于参照系统和公共概念的参考词典
- ISO 10845-6:2011 施工采购 第6部分：合同中合资企业目标伙伴的参与
- ISO 1463:2003 金属和氧化物镀层.镀层厚度的测定.显微镜法
- ISO 8853:1989 竟赛车的安全装置.要求和测试方法
- ISO 20766-25:2022 道路车辆 液化石油气（LPG）燃料系统部件 第25部分：气体连接
- ISO 898-5:1998 碳钢和合金钢紧固件的机械性能.第5部分：不受拉伸应力的紧定螺钉和类似的螺纹紧固件