企业导报
企業導報
기업도보
GUIDE TO BUSINESS
2009年
11期
269-270
,共2页
白鹏%陈名铭%顾建丰%周秀芳
白鵬%陳名銘%顧建豐%週秀芳
백붕%진명명%고건봉%주수방
B方法%流量控制%特征码
B方法%流量控製%特徵碼
B방법%류량공제%특정마
通过对形式化B方法的研究,结合网络流量控制系统模型,讨论了该模型在形式化B方法下的具体应用,给出了该系统的抽象机模型和精化过程.
通過對形式化B方法的研究,結閤網絡流量控製繫統模型,討論瞭該模型在形式化B方法下的具體應用,給齣瞭該繫統的抽象機模型和精化過程.
통과대형식화B방법적연구,결합망락류량공제계통모형,토론료해모형재형식화B방법하적구체응용,급출료해계통적추상궤모형화정화과정.
