首页
|
本学科首页
官方微博
|
高级检索
全部专业
财政、金融
工业经济
交通运输经济
经济计划与管理
经济学
旅游经济
贸易经济
农业经济
世界各国经济概况、经济史、经济地理
信息产业经济(总论)
学报及综合类
邮电经济
按
中文标题
英文标题
中文关键词
英文关键词
中文摘要
英文摘要
作者中文名
作者英文名
单位中文名
单位英文名
基金中文名
基金英文名
杂志中文名
杂志英文名
栏目英文名
栏目英文名
DOI
责任编辑
分类号
杂志ISSN号
检索
基于B方法的流量控制系统的实现
引用本文:
白鹏,陈名铭,顾建丰,周秀芳.基于B方法的流量控制系统的实现[J].企业导报,2009(11):269-270.
作者姓名:
白鹏
陈名铭
顾建丰
周秀芳
作者单位:
扬州大学信息工程学院,江苏,扬州,225009
摘 要:
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程。
关 键 词:
B方法
流量控制
特征码
本文献已被
维普
万方数据
等数据库收录!
设为首页
|
免责声明
|
关于勤云
|
加入收藏
Copyright
©
北京勤云科技发展有限公司
京ICP备09084417号