LOTOS语言

作品数:9被引量:17H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:陈火旺何炎祥宋强吴建平史美林更多>>
相关机构:长沙工学院武汉大学清华大学复旦大学更多>>
相关期刊:《通信技术》《内蒙古大学学报(自然科学版)》《计算机工程与设计》《计算机与信息处理标准化》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程与设计x
条 记 录,以下是1-1
视图:
排序:
ISO/OSI会话层标准的形式化描述和开发被引量:1
《计算机工程与设计》1989年第5期30-39,共10页沈立涛 
本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出了其结构模型及一些重要的模块结构描述。
关键词:会话层标准 形式化描述 LOTOS语言 
检索报告 对象比较 聚类工具 使用帮助 返回顶部