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

标准号：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）：3510000