期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
ISO/OSI会话层标准的形式化描述和开发 被引量：1
1
作者 沈立涛 《计算机工程与设计》 CSCD 北大核心 1989年第5期30-39,共10页
本文通过对形式化描述技术LOTOS语言和ISO/OSI会话层标准的简要介绍,较详细地讨论了用LOTOS语言对OSI会话层的形式化规范描述,给出了其结构模型及一些重要的模块结构描述。
关键词 会话层标准 形式化描述 LOTOS语言
下载PDF
中国网通辽宁省分公司——强化内部控制体系 深化效能监察工作 被引量：1
2
作者 沈立涛 《中国监察》 2005年第19期26-26,共1页
关键词 效能监察工作 辽宁省 选题立项 建立健全 纪检监察部门 工作内容 物资采购 内部控制体系 领导小组 中国网通
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部