|
|||||
|
|
| 基于B方法的流量控制系统的实现 | |
| 作者姓名： | 白鹏 陈名铭 顾建丰 周秀芳 |
| 作者单位： | 扬州大学信息工程学院,江苏,扬州,225009 |
| 摘 要： | 通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程。 |
| 关 键 词： | B方法 流量控制 特征码 |
| 本文献已被 维普 万方数据 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |