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