标准编号：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-01
实施日期：1989-02-15
标准状态：现行
文件格式：PDF
站内资源均来自网友分享或网络收集整理，若无意中侵犯到您的权利，敬请联系我们，我们将及时删除相关资源。