信息处理系统.开放系统互连.LOTOS(时态次序规格说明语言).形式描述技术基于时态次序形式的技术法

INFORMATION PROCESSING SYSTEMS -- OPEN SYSTEMS INTERCONNECTION - LOTOS - A FORMAL DESCRIPTION TECHNIQUE BASED ON THE TEMPORAL ORDERING OF OBSERVATIONAL BEHAVIOUR

国外标准现行

标准号：KSX 3003-1993

标准名称：信息处理系统.开放系统互连.LOTOS(时态次序规格说明语言).形式描述技术基于时态次序形式的技术法

英文名称：INFORMATION PROCESSING SYSTEMS -- OPEN SYSTEMS INTERCONNECTION - LOTOS - A FORMAL DESCRIPTION TECHNIQUE BASED ON THE TEMPORAL ORDERING OF OBSERVATIONAL BEHAVIOUR

标准类型：国外标准

标准状态：现行

发布日期：1993-12-20

实施日期：1993-12-20

中国标准分类号（CCS）：L74

国际标准分类号（ICS）：35.100.00

相关服务

搜索标准

相近标准

JISX 3003-1993 现行

BASIC 程序设计语言

CJ/T 3003-1993 现行

出租汽车运行技术条件

JG/T 3003-1993 现行

多彩内墙涂料

KSX 2014-1993 现行

信息技术.编程语言.韩文PASCAL

KSX 2902-1993 现行

个人计算机的韩文磁盘操作系统术语和命令

KSX 2506-1-1993 现行

信息处理系统.计算机图形.图形核心系统.语言联接:FORTRAN语言

KSX 4104-4-1993 现行

信息处理系统.开放系统互连.文件传输、访问管理(FTAM).第4部分:文件规约说明

KSX 4104-3-1993 现行

信息处理系统.开放系统互连.文件传输、访问管理(FTAM).第3部分:文件服务定义

KSX 4104-2-1993 现行

信息处理系统.开放系统互连.文件传输、访问管理(FTAM).第2部分:虚拟[的]文件存储定义

KSX 4104-1-1993 现行

信息处理系统.开放系统互连.文件传输、访问管理(FTAM).第1部分:总体介绍

信息处理系统.开放系统互连.LOTOS(时态次序规格说明语言).形式描述技术基于时态次序形式的技术法

相关服务

信筒信箱检测

信令通信网检测

信令通信网(DCN)检测

信令通信网(SCN）检测

信息信号检测

可信信道检测

通信与信号检测

通信与信息检测

通信信号检测

通信网络系统接入通信信道检测

相关商品

耐洗刷性 JG/T 3003-1993 多彩内墙涂料

粘度 JG/T 3003-1993 多彩内墙涂料

施工性 JG/T 3003-1993 多彩内墙涂料

JG/T 3003-1993 多彩内墙涂料

全部项目 JG/T 3003-1993 多彩内墙涂料

全部参数 JG/T 3003-1993 多彩内墙涂料

/ 全部项目 JG/T 3003-1993 多彩内墙涂料

搜索标准

相近标准