标准编号ISO 8807:1989
标准名称Information processing systems -- Open Systems Interconnection -- LOTOS -- A formal description technique based on the temporal ordering of observational behaviour
主编部门
标准状态
出版社
批准文号
发布日期
实施日期
废止日期
替换信息
前言
pdf无