基于B方法的流量控制系统的实现  

作　　者：白鹏[1] 陈名铭[1] 顾建丰[1] 周秀芳[1] 

机构地区：[1]扬州大学信息工程学院,江苏扬州225009

出　　处：《企业导报》2009年第11期269-270,共2页Cuide to Business

摘　　要：通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程。

关 键 词：B方法 流量控制 特征码 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]