立即下载标准文件- ISO 9117-1:2009 色漆和清漆 干燥试验 第1部分：完全干燥状态和完全干燥时间的测定
- ISO 20657:2017 建筑玻璃 热浸钢化钠钙硅酸盐安全玻璃
- ISO 4152:2021 玻璃纤维增强热固性塑料（GRP）管 受梁弯曲的管的表观轴向长期模量的测定
- ISO 22902-6:2006 道路车辆 汽车用多媒体接口 第6部分：车辆接口要求
- ISO/IEC 14764:2006 软件工程 软件生命周期过程 维护
- ISO 21317:2019 中药 忍冬花
- ISO/IEC 11574:2000 信息技术 系统间的无线电通讯和信息交换 专用集成服务网络 64 KBIT/S 电路模块载服务器 服务描述,功能特性和信息流.
- ISO 14906:2004 道路运输和交通信息通讯业务-电子收费器 专用于短程通信的应用界面定义
- ISO 23075:2021 硫化橡胶 用高效液相色谱法测定抗降解剂
- ISO/IEC ISP 10613-3:1994 信息技术 国际标准化轮廓RA 中继无连接型网络服务 第三部分：CSMA/CD LAN子网络相关性,媒体独立性要求.
ISO 8807:1989 信息处理系统.开式系统互连.LOTOS.基于观察特性的暂时次序的形式描述技术
标准编号：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
标准范围
定义用于分布式并发信息处理系统形式化描述的形式化描述技术LOTOS的语法和语义。LOTOS可用于正式描述ISO 7498中描述的开放系统互连（OSI）体系结构各层的服务定义和协议规范，以及相关标准，以及OSI协议和/或OSI功能实现的一致性测试。它也可以应用于其他分布式系统的形式化描述，例如电话交换网络。参考文献:ISO 7498；CCITT建议Z.10SDL。
标准预览图
