可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)
检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思 范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位：
出版地：
ISSN：
主编：
邮发代号：
中图分类号： 选择
作 者： ; ; ;
机构地区： 深圳大学
出 处： 《计算机系统应用》 2006年第12期54-58,共5页
摘 要： 协议的形式化建模有助于提高其一致性测试集的自动化生成与完备程度,在分析BGP4+协议的基础上,提出了适用于复杂路由协议形式化建模的混合模型建模法,并基于有限状态机与SDL两种形式描述技术完成了该协议的形式化建模。
关 键 词： 形式化建模 有限状态机
领 域： [自动化与计算机技术] [自动化与计算机技术]
