首页> 中文会议>第三届全国CSCW暨第一届全国AIN学术会议 >对形式描述语言E-LOTOS的进一步研究及应用

对形式描述语言E-LOTOS的进一步研究及应用

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文根据实际需要,按照形式描述语言E-LOTOS的语法和语义,对现有的E-LOTOS的某些功能进行了改进和完善,对[1]中提出的对形式描述语言E-LOTOS的图形表示进行了进一步研究;作为应用,对路由信息协议(RIP协议)进行了E-LOTOS的说明并使用改进和完善了的工具软件(把E-LOTOS转换成GE-LOTOS)对RIP协议进行了GE-LOTOS的转换.

著录项

来源
《第三届全国CSCW暨第一届全国AIN学术会议》|2002年|134-140|共7页
会议地点呼和浩特
作者
赵玉兰; 叶新铭;
展开▼
作者单位

中国通信学会;

中国电子学会;

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类程序语言、算法语言;通信规程、通信协议;
关键词
E-LOTOS; GE-LOTOS; 形式描述技术; RIP协议.;

相似文献

中文文献
外文文献
专利

1. 面向RFID的复杂事件描述语言研究及应用 [J] . 张树峰 ,邓胜春 ,徐晓飞 . 微计算机信息 . 2009,第008期
2. 基于B方法的体系结构描述语言的形式化研究 [J] . 丁湘陵 ,王志刚 . 计算机工程与科学 . 2013,第001期
3. XML树模式查询的描述语言及形式语义* [J] . 廖湖声 ,李小青 . 计算机科学与探索 . 2013,第005期
4. XML树模式查询的描述语言及形式语义 [J] . 廖湖声 ,李小青 . 计算机科学与探索 . 2013,第005期
5. Web服务编排描述语言WS-CDL的形式化模型框架 [J] . 辜希武 ,卢正鼎 . 计算机科学 . 2007,第009期
6. 基于属性描述语言的形式化验证技术研究 [C] . Hu Yayun ,胡亚云 ,LI Dongfang . 全国抗恶劣环境计算机第二十八届学术年会 . 2018
7. 通信网结构与协议的形式化描述语言研究与设计 [A] . 李程 . 2011

对形式描述语言E-LOTOS的进一步研究及应用

摘要

著录项

相似文献

相关主题

期刊订阅